diff options
| -rw-r--r-- | src/smt/smt_engine.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index 32e72f40a..bcd7cc6d2 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -424,11 +424,12 @@ SmtEngine::~SmtEngine() throw() { StatisticsRegistry::unregisterStat(&d_numAssertionsPost); delete d_private; - delete d_userContext; delete d_theoryEngine; delete d_propEngine; - //delete d_decisionEngine; + delete d_decisionEngine; + + delete d_userContext; delete d_statisticsRegistry; |