diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-11-02 14:58:36 -0500 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-11-02 14:58:36 -0500 |
commit | e06547b61242e1d98a63d9200160be7740439a05 (patch) | |
tree | f8aaf87f0c15090409b63fbd8b9d5dddaeb42c5e /src/smt | |
parent | 81c1bee05d9d7c323f49d33554a523f8f4fbf387 (diff) |
Fix bug in separation logic for finite pto-data types. Minor cleanup in sep. Fix a few more memory leaks.
Diffstat (limited to 'src/smt')
-rw-r--r-- | src/smt/smt_engine.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index e3a0533af..c9484dbf0 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -1206,6 +1206,13 @@ SmtEngine::~SmtEngine() throw() { d_definedFunctions->deleteSelf(); + if( d_fmfRecFunctionsAbs != NULL ){ + d_fmfRecFunctionsAbs->deleteSelf(); + } + if( d_fmfRecFunctionsConcrete != NULL ){ + d_fmfRecFunctionsConcrete->deleteSelf(); + } + delete d_theoryEngine; d_theoryEngine = NULL; delete d_propEngine; |