From 5fc42e5ad72d13bc84a9b07d447988494d3d3110 Mon Sep 17 00:00:00 2001 From: lianah Date: Thu, 18 Apr 2013 17:02:22 -0400 Subject: [PATCH] fixing destruction order in SmtEngine --- src/smt/smt_engine.cpp | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) 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; -- 2.30.2