From: Tim King <taking@google.com>
Date: Mon, 26 Sep 2016 03:46:26 +0000 (-0700)
Subject: Deleting the eager bitblasting solver if present in TheoryBV.
X-Git-Tag: cvc5-1.0.0~6028^2~22
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9178e41623a89ecfd9291e5c2b9393ed26b840ee;p=cvc5.git

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 f0981044b..de596e3d5 100644
--- 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];
   }