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;