From: Chad Brewbaker <chad@flyingdogsolutions.com>
Date: Wed, 11 Jan 2017 02:59:20 +0000 (-0600)
Subject: revert
X-Git-Tag: cvc5-1.0.0~5916^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8fdd827ec5229c905089b01744fd12bc2c8cf4e7;p=cvc5.git

revert
---

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index 9f4929d0b..a79416b76 100644
--- 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)