From b3fa70606f42944044c5ed08f66904b8bdb064b1 Mon Sep 17 00:00:00 2001 From: Tim King Date: Tue, 22 Mar 2016 21:22:15 -0700 Subject: [PATCH] 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; -- 2.30.2