Another fix for the CASC stuff.

diff --git a/src/expr/node.h b/src/expr/node.h
index ba139748ec883ed32d6b429c90c00515182792df..358b7cfcd802e31b063a6c5264d288e64c4577a7 100644 (file)
--- 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);
 }