From: lianah <lianahady@gmail.com>
Date: Tue, 14 Oct 2014 23:22:25 +0000 (-0700)
Subject: fix for memory leak in BVQuickCheck
X-Git-Tag: cvc5-1.0.0~6561
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c7853984ccd70223215fa36fcb402f58bd86696f;p=cvc5.git

fix for memory leak in BVQuickCheck
---

diff --git a/src/theory/bv/bv_quick_check.cpp b/src/theory/bv/bv_quick_check.cpp
index b2b4eebdf..cc294306a 100644
--- a/src/theory/bv/bv_quick_check.cpp
+++ b/src/theory/bv/bv_quick_check.cpp
@@ -141,6 +141,7 @@ void BVQuickCheck::collectModelInfo(theory::TheoryModel* model, bool fullModel)
 
 BVQuickCheck::~BVQuickCheck() {
   delete d_bitblaster;
+  delete d_ctx;
 }
 
 QuickXPlain::QuickXPlain(const std::string& name, BVQuickCheck* solver, unsigned long budget)