From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 27 Aug 2012 20:37:17 +0000 (+0000)
Subject: fix a destruction-order issue that was (1) causing valgrind to complain loudly about... 
X-Git-Tag: cvc5-1.0.0~7840
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e01477b5478828aa9ab0798835128b378574ce72;p=cvc5.git

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.)
---

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;