revert

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