From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 17 Jun 2014 21:35:37 +0000 (-0400)
Subject: Another fix for the CASC stuff.
X-Git-Tag: cvc5-1.0.0~6758^2~20
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cae0b585fb334f802391d870687888c4ac4ef4de;p=cvc5.git

Another fix for the CASC stuff.
---

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);
 }