From 8fdd827ec5229c905089b01744fd12bc2c8cf4e7 Mon Sep 17 00:00:00 2001
From: Chad Brewbaker <chad@flyingdogsolutions.com>
Date: Tue, 10 Jan 2017 20:59:20 -0600
Subject: [PATCH] revert

---
 src/smt/smt_engine.cpp | 3 ---
 1 file changed, 3 deletions(-)

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)
-- 
2.30.2