Deleting the eager bitblasting solver if present in TheoryBV.

diff --git a/src/theory/bv/theory_bv.cpp b/src/theory/bv/theory_bv.cpp
index f0981044b3362f3a720956414bbc0404d4d76fa0..de596e3d5bdbbfa2dfb220a42fdf0e7ce3876c5c 100644 (file)
--- a/src/theory/bv/theory_bv.cpp
+++ b/src/theory/bv/theory_bv.cpp
@@ -100,8 +100,10 @@ TheoryBV::TheoryBV(context::Context* c, context::UserContext* u,
   d_subtheoryMap[SUB_BITBLAST] = bb_solver;
 }
 
-
 TheoryBV::~TheoryBV() {
+  if (d_eagerSolver) {
+    delete d_eagerSolver;
+  }
   for (unsigned i = 0; i < d_subtheories.size(); ++i) {
     delete d_subtheories[i];
   }