diff options
Diffstat (limited to 'src/smt/smt_engine.cpp')
| -rw-r--r-- | src/smt/smt_engine.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index a925c04ab..bb14232bb 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -337,8 +337,10 @@ SmtEngine::~SmtEngine() d_asserts.reset(nullptr); d_model.reset(nullptr); + d_abductSolver.reset(nullptr); + d_interpolSolver.reset(nullptr); + d_quantElimSolver.reset(nullptr); d_sygusSolver.reset(nullptr); - d_smtSolver.reset(nullptr); d_stats.reset(nullptr); |