diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-17 17:35:37 -0400 |
|---|---|---|
| committer | lianah <lianahady@gmail.com> | 2014-06-19 18:24:39 -0400 |
| commit | d6eb4cccbac83fef58e98847178c04bf1b8b0ff2 (patch) | |
| tree | 5827d9c370902c25c5ec2439a2727726d9b85516 | |
| parent | b766bc3bcc5510a283f8f35f3362b33f8a0ed461 (diff) | |
Another fix for the CASC stuff.
| -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 ba139748e..358b7cfcd 100644 --- a/src/expr/node.h +++ b/src/expr/node.h @@ -439,7 +439,7 @@ public: * explicit Expr(Node) constructor---but that dirties the public * interface. */ - inline Expr toExpr(); + inline Expr toExpr() const; /** * Convert an Expr into a Node. @@ -1451,7 +1451,7 @@ NodeTemplate<ref_count>::substitute(Iterator substitutionsBegin, } template <bool ref_count> -inline Expr NodeTemplate<ref_count>::toExpr() { +inline Expr NodeTemplate<ref_count>::toExpr() const { assertTNodeNotExpired(); return NodeManager::currentNM()->toExpr(*this); } |