fix to last commit

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index c28ee7064ce3c6fe4564f89b00ccad5294fadb7f..f98d60702bd5e572af16cf7754921085bbedd9e7 100644 (file)
--- a/src/smt/smt_engine.cpp
+++ b/src/smt/smt_engine.cpp
@@ -618,7 +618,6 @@ Expr SmtEngine::getValue(const Expr& e)
     throw ModalException(msg);
   }
 
-  NodeManagerScope nms(d_nodeManager);
   Node eNode = e.getNode();
   Node n = smt::SmtEnginePrivate::preprocess(*this, eNode);
 
@@ -710,6 +709,7 @@ SExpr SmtEngine::getAssignment() throw(ModalException, AssertionException) {
 
 vector<Expr> SmtEngine::getAssertions()
   throw(ModalException, AssertionException) {
+  NodeManagerScope nms(d_nodeManager);
   Debug("smt") << "SMT getAssertions()" << endl;
   if(!Options::current()->interactive) {
     const char* msg =