From: Clark Barrett <barrett@cs.nyu.edu>
Date: Wed, 6 Jun 2012 01:06:15 +0000 (+0000)
Subject: Fixed problem causing crash at destruction time
X-Git-Tag: cvc5-1.0.0~8124
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2799ae1cf57ed2b98387a1de1325bccd89bd2a30;p=cvc5.git

Fixed problem causing crash at destruction time
---

diff --git a/src/theory/theory_engine.cpp b/src/theory/theory_engine.cpp
index 4ed0bcb60..3e1dc6fe4 100644
--- a/src/theory/theory_engine.cpp
+++ b/src/theory/theory_engine.cpp
@@ -536,6 +536,7 @@ void TheoryEngine::shutdown() {
   }
 
   theory::Rewriter::shutdown();
+  d_ppCache.clear();
 }
 
 theory::Theory::PPAssertStatus TheoryEngine::solve(TNode literal, SubstitutionMap& substitutionOut) {