From: Chad Brewbaker <crb002@gmail.com>
Date: Sat, 7 Jan 2017 04:56:07 +0000 (-0600)
Subject: quashing debug memory leak
X-Git-Tag: cvc5-1.0.0~5916^2~2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=87fa456d0f3ed04d7e060e2ac7049f943e9fe422;p=cvc5.git

quashing debug memory leak
---

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)