quashing debug memory leak

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index a79416b76ecac68ca00d70b590d707885154a2f7..9f4929d0b6d0c3c42f727ac7425bf1555c99eb89 100644 (file)
--- a/src/smt/smt_engine.cpp
+++ b/src/smt/smt_engine.cpp
@@ -4255,6 +4255,9 @@ void SmtEnginePrivate::processAssertions() {
 
   d_assertions.clear();
   d_iteSkolemMap.clear();
+  #ifdef CVC4_ASSERTIONS
+  Rewriter::clearCaches();
+  #endif
 }
 
 void SmtEnginePrivate::addFormula(TNode n, bool inUnsatCore, bool inInput)