Fixed problem causing crash at destruction time

diff --git a/src/theory/theory_engine.cpp b/src/theory/theory_engine.cpp
index 4ed0bcb60461e04a84271495cdb0bacb106583ac..3e1dc6fe4f08e402694b173253180cf23915d613 100644 (file)
--- 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) {