diff options
Diffstat (limited to 'src/theory/theory_engine.cpp')
-rw-r--r-- | src/theory/theory_engine.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/theory/theory_engine.cpp b/src/theory/theory_engine.cpp index b0a290b7d..c9fb36830 100644 --- a/src/theory/theory_engine.cpp +++ b/src/theory/theory_engine.cpp @@ -85,7 +85,7 @@ TheoryEngine::TheoryEngine(context::Context* context, // initialize the quantifiers engine d_quantEngine = new QuantifiersEngine(context, this); - //build model information if applicable + // build model information if applicable d_curr_model = new theory::DefaultModel( context, "DefaultModel", true ); d_curr_model_builder = new theory::TheoryEngineModelBuilder( this ); @@ -105,6 +105,9 @@ TheoryEngine::~TheoryEngine() { } } + delete d_curr_model_builder; + delete d_curr_model; + delete d_quantEngine; StatisticsRegistry::unregisterStat(&d_combineTheoriesTime); |