diff options
Diffstat (limited to 'src/theory/bv/bv_quick_check.cpp')
| -rw-r--r-- | src/theory/bv/bv_quick_check.cpp | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/src/theory/bv/bv_quick_check.cpp b/src/theory/bv/bv_quick_check.cpp index dbdeccfe5..8efda195e 100644 --- a/src/theory/bv/bv_quick_check.cpp +++ b/src/theory/bv/bv_quick_check.cpp @@ -26,11 +26,13 @@ namespace CVC4 { namespace theory { namespace bv { -BVQuickCheck::BVQuickCheck(const std::string& name, theory::bv::TheoryBV* bv) - : d_ctx() - , d_bitblaster(new TLazyBitblaster(&d_ctx, bv, name, true)) - , d_conflict() - , d_inConflict(&d_ctx, false) +BVQuickCheck::BVQuickCheck(Environment* env, + const std::string& name, + theory::bv::TheoryBV* bv) + : d_ctx(), + d_bitblaster(new TLazyBitblaster(env, &d_ctx, bv, name, true)), + d_conflict(), + d_inConflict(&d_ctx, false) {} |