From b3fa70606f42944044c5ed08f66904b8bdb064b1 Mon Sep 17 00:00:00 2001
From: Tim King <taking@google.com>
Date: Tue, 22 Mar 2016 21:22:15 -0700
Subject: Deleting the CDInstMatchTries in
 QuantifiersEngine::d_c_inst_match_trie.

---
 src/theory/quantifiers_engine.cpp | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/theory/quantifiers_engine.cpp b/src/theory/quantifiers_engine.cpp
index 754b0c224..1aeb6f517 100644
--- 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;
-- 
cgit v1.2.3