From 87fa456d0f3ed04d7e060e2ac7049f943e9fe422 Mon Sep 17 00:00:00 2001
From: Chad Brewbaker <crb002@gmail.com>
Date: Fri, 6 Jan 2017 22:56:07 -0600
Subject: [PATCH] quashing debug memory leak

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

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