Deleting the CDInstMatchTries in QuantifiersEngine::d_c_inst_match_trie.
authorTim King <taking@google.com>
Wed, 23 Mar 2016 04:22:15 +0000 (21:22 -0700)
committerTim King <taking@google.com>
Wed, 23 Mar 2016 04:22:15 +0000 (21:22 -0700)
commitb3fa70606f42944044c5ed08f66904b8bdb064b1
treeaffcdc52744b9a335a77c480fc2c105df34c287b
parentc91733f4b458cb888d915baa309b2ba29488fa10
Deleting the CDInstMatchTries in QuantifiersEngine::d_c_inst_match_trie.
src/theory/quantifiers_engine.cpp