diff options
author | lianah <lianahady@gmail.com> | 2013-04-18 17:02:22 -0400 |
---|---|---|
committer | lianah <lianahady@gmail.com> | 2013-04-18 17:02:29 -0400 |
commit | 5fc42e5ad72d13bc84a9b07d447988494d3d3110 (patch) | |
tree | 232e82636c46b086d30639dca1684e3fc3dca209 /src | |
parent | 5721e631d63d5a9a5c8ce3a6c8ce1198a1ad4e50 (diff) |
fixing destruction order in SmtEngine
Diffstat (limited to 'src')
-rw-r--r-- | src/smt/smt_engine.cpp | 10 |
1 files 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; |