diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-08-27 20:37:17 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-08-27 20:37:17 +0000 |
commit | e01477b5478828aa9ab0798835128b378574ce72 (patch) | |
tree | b2cfd10610bbdf55e9fe93c5d01f871d46ef3316 /src | |
parent | 58c511a607a7a3560590b49f17ee3e92b364dbcf (diff) |
fix a destruction-order issue that was (1) causing valgrind to complain loudly about invalid reads and writes, and (2) apparently causing problems deleting the decision engine (which is now being properly deleted)
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'src')
-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; |