From 89ed50fd35e6425ed7f1fa4ca5ec560acee1358e Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 7 Nov 2014 17:24:35 -0500
Subject: Fix memory issues in bitvector theory, which is now valgrind-clean
 (mostly resolves bug #594).

---
 src/theory/bv/bv_quick_check.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/theory/bv/bv_quick_check.h')

diff --git a/src/theory/bv/bv_quick_check.h b/src/theory/bv/bv_quick_check.h
index 6c32fbb4d..61d6baf83 100644
--- a/src/theory/bv/bv_quick_check.h
+++ b/src/theory/bv/bv_quick_check.h
@@ -39,7 +39,7 @@ class TLazyBitblaster;
 class TheoryBV;
 
 class BVQuickCheck {
-  context::Context* d_ctx;
+  context::Context d_ctx;
   TLazyBitblaster* d_bitblaster;
   Node d_conflict;
   context::CDO<bool> d_inConflict;
-- 
cgit v1.2.3