From: lianah <lianahady@gmail.com>
Date: Thu, 18 Apr 2013 23:03:32 +0000 (-0400)
Subject: making sure sat context is zero when user context is popped to 0 in SmtEngine destructor
X-Git-Tag: cvc5-1.0.0~7316
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8d56bb7184d573448fd16242afda2e4224e8641d;p=cvc5.git

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 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();