diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-11 13:04:27 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-11 13:04:27 -0400 |
commit | 41c09b51a7000fe5eb6b702d4ef9a1644129410b (patch) | |
tree | d2573cfef10bb7b34d0c6dcd63e3730719201856 /src/smt | |
parent | 4e91f51cb0e58a9d2d8c1f12e387ca2455d307e4 (diff) | |
parent | 0189f4b0e62edefa2b93f9bd4991a0c15c6cc3d5 (diff) |
Merge branch '1.4.x'
Diffstat (limited to 'src/smt')
-rw-r--r-- | src/smt/smt_engine.cpp | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index dc652ad69..ea48cb3d0 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -837,6 +837,7 @@ SmtEngine::~SmtEngine() throw() { for(unsigned i = 0; i < d_dumpCommands.size(); ++i) { delete d_dumpCommands[i]; + d_dumpCommands[i] = NULL; } d_dumpCommands.clear(); @@ -847,15 +848,22 @@ SmtEngine::~SmtEngine() throw() { d_definedFunctions->deleteSelf(); delete d_theoryEngine; + d_theoryEngine = NULL; delete d_propEngine; + d_propEngine = NULL; delete d_decisionEngine; + d_decisionEngine = NULL; delete d_stats; + d_stats = NULL; delete d_statisticsRegistry; + d_statisticsRegistry = NULL; delete d_private; + d_private = NULL; delete d_userContext; + d_userContext = NULL; } catch(Exception& e) { Warning() << "CVC4 threw an exception during cleanup." << endl |