making sure sat context is zero when user context is popped to 0 in SmtEngine destructor

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index 3663ac85405dea74390940fd3dd23fb838a9c83f..864b444df2f1569bb1a9ec9ba380637ce725daca 100644 (file)
--- 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();