diff options
Diffstat (limited to 'src/expr/node.h')
| -rw-r--r-- | src/expr/node.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/node.h b/src/expr/node.h index d1bb8f3b3..25990cedf 100644 --- a/src/expr/node.h +++ b/src/expr/node.h @@ -240,7 +240,7 @@ public: * Returns the type of this node. * @return the type */ - const Type* getType() const; + Type* getType() const; /** * Returns the kind of this node. @@ -707,7 +707,7 @@ bool NodeTemplate<ref_count>::hasOperator() const { } template <bool ref_count> -const Type* NodeTemplate<ref_count>::getType() const { +Type* NodeTemplate<ref_count>::getType() const { Assert( NodeManager::currentNM() != NULL, "There is no current CVC4::NodeManager associated to this thread.\n" "Perhaps a public-facing function is missing a NodeManagerScope ?" ); |