From 8d56bb7184d573448fd16242afda2e4224e8641d Mon Sep 17 00:00:00 2001
From: lianah <lianahady@gmail.com>
Date: Thu, 18 Apr 2013 19:03:32 -0400
Subject: [PATCH] making sure sat context is zero when user context is popped
 to 0 in SmtEngine destructor

---
 src/smt/smt_engine.cpp | 4 ++--
 1 file 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();
-- 
2.30.2