From: Tim King <taking@google.com>
Date: Wed, 23 Mar 2016 04:22:15 +0000 (-0700)
Subject: Deleting the CDInstMatchTries in QuantifiersEngine::d_c_inst_match_trie.
X-Git-Tag: cvc5-1.0.0~6049^2~96
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b3fa70606f42944044c5ed08f66904b8bdb064b1;p=cvc5.git

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 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;