From: lianah <lianahady@gmail.com>
Date: Thu, 18 Apr 2013 21:02:22 +0000 (-0400)
Subject: fixing destruction order in SmtEngine
X-Git-Tag: cvc5-1.0.0~7317
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5fc42e5ad72d13bc84a9b07d447988494d3d3110;p=cvc5.git

fixing destruction order in SmtEngine
---

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index 55000c94d..3663ac854 100644
--- 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;