1 files changed, 4 insertions, 0 deletions
diff --git a/src/main/main.cpp b/src/main/main.cpp
index a16db2411..6be992479 100644
--- a/src/main/main.cpp
+++ b/src/main/main.cpp
@@ -168,6 +168,9 @@ int runCvc4(int argc, char* argv[]) {
     delete cmd;
   }
 
+  // Get ready for tear-down
+  exprMgr.prepareToBeDestroyed();
+
   // Remove the parser
   delete parser;
 
@@ -183,6 +186,7 @@ int runCvc4(int argc, char* argv[]) {
     return 0;
 
   }
+
 }
 
 void doCommand(SmtEngine& smt, Command* cmd) {