fixing destruction order in SmtEngine

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index 55000c94d3919885dee55e0d0070aaf93d791e91..3663ac85405dea74390940fd3dd23fb838a9c83f 100644 (file)
--- a/src/smt/smt_engine.cpp
+++ b/src/smt/smt_engine.cpp
@@ -769,18 +769,18 @@ SmtEngine::~SmtEngine() throw() {
 
     d_definedFunctions->deleteSelf();
 
-    delete d_stats;
-
-    delete d_private;
 
     delete d_theoryEngine;
     delete d_propEngine;
     delete d_decisionEngine;
 
-    delete d_userContext;
-
+    delete d_stats;
     delete d_statisticsRegistry;
 
+    delete d_private;
+
+    delete d_userContext;
+
   } catch(Exception& e) {
     Warning() << "CVC4 threw an exception during cleanup." << endl
               << e << endl;