diff options
Diffstat (limited to 'src/theory/quantifiers_engine.cpp')
-rw-r--r-- | src/theory/quantifiers_engine.cpp | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/theory/quantifiers_engine.cpp b/src/theory/quantifiers_engine.cpp index ca5cc568e..8badb3998 100644 --- a/src/theory/quantifiers_engine.cpp +++ b/src/theory/quantifiers_engine.cpp @@ -97,7 +97,11 @@ d_active( c ){ } QuantifiersEngine::~QuantifiersEngine(){ - delete(d_term_db); + delete d_model_engine; + delete d_inst_engine; + delete d_model; + delete d_term_db; + delete d_eq_query; } Instantiator* QuantifiersEngine::getInstantiator( theory::TheoryId id ){ |