diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-04-22 22:02:46 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-04-22 22:02:46 +0000 |
| commit | 3558673ff03c3d5fb05ac714e30f35e45aed3af3 (patch) | |
| tree | 8e1207b36e75ba8dbe9bad99f88012627bf3d3f3 /src | |
| parent | 2a57acc989a917a58dbecb2944c8438140a5627c (diff) | |
fix to last commit
Diffstat (limited to 'src')
| -rw-r--r-- | src/smt/smt_engine.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index c28ee7064..f98d60702 100644 --- 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 = |