From e01477b5478828aa9ab0798835128b378574ce72 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Mon, 27 Aug 2012 20:37:17 +0000 Subject: [PATCH] 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.) --- src/smt/smt_engine.cpp | 5 +++-- 1 file 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; -- 2.30.2