diff options
| author | lianah <lianahady@gmail.com> | 2013-04-18 19:03:32 -0400 |
|---|---|---|
| committer | lianah <lianahady@gmail.com> | 2013-04-18 19:03:32 -0400 |
| commit | 8d56bb7184d573448fd16242afda2e4224e8641d (patch) | |
| tree | 55915f37f8ebf1f12a4f2f1414945cdc8416cc84 /src | |
| parent | 5fc42e5ad72d13bc84a9b07d447988494d3d3110 (diff) | |
making sure sat context is zero when user context is popped to 0 in SmtEngine destructor
Diffstat (limited to 'src')
| -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(); |