Deleting the CDInstMatchTries in QuantifiersEngine::d_c_inst_match_trie.

diff --git a/src/theory/quantifiers_engine.cpp b/src/theory/quantifiers_engine.cpp
index 754b0c22432aa7af8428a31b48a68c3e88f0460b..1aeb6f517ebb24cad6e859428d9bfdb00328abca 100644 (file)
--- a/src/theory/quantifiers_engine.cpp
+++ b/src/theory/quantifiers_engine.cpp
@@ -151,6 +151,14 @@ QuantifiersEngine::QuantifiersEngine(context::Context* c, context::UserContext*
 }
 
 QuantifiersEngine::~QuantifiersEngine(){
+  for(std::map< Node, inst::CDInstMatchTrie* >::iterator
+      i = d_c_inst_match_trie.begin(), iend = d_c_inst_match_trie.end();
+      i != iend; ++i)
+  {
+    delete (*i).second;
+  }
+  d_c_inst_match_trie.clear();
+
   delete d_alpha_equiv;
   delete d_builder;
   delete d_rr_engine;