diff options
-rw-r--r-- | src/smt/smt_engine.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index 3663ac854..864b444df 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -747,8 +747,8 @@ SmtEngine::~SmtEngine() throw() { // global push/pop around everything, to ensure proper destruction // of context-dependent data structures - d_context->pop(); - d_userContext->pop(); + d_context->popto(0); + d_userContext->popto(0); if(d_assignments != NULL) { d_assignments->deleteSelf(); |