fix a destruction-order issue that was (1) causing valgrind to complain loudly about...

(this commit was certified error- and warning-free by the test-and-commit script.)

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index 32e72f40a7ca5d79315cf3b7cf96e09b6cb3ea43..bcd7cc6d2063b14e6353ae1ebc7f524397bdb7f4 100644 (file)
--- 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;