diff options
Diffstat (limited to 'src/theory/bv/bv_quick_check.cpp')
| -rw-r--r-- | src/theory/bv/bv_quick_check.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/bv/bv_quick_check.cpp b/src/theory/bv/bv_quick_check.cpp index 5d3e99253..dd9c1849d 100644 --- a/src/theory/bv/bv_quick_check.cpp +++ b/src/theory/bv/bv_quick_check.cpp @@ -17,7 +17,7 @@ #include "smt/smt_statistics_registry.h" #include "theory/bv/bitblast/lazy_bitblaster.h" -#include "theory/bv/bv_solver_lazy.h" +#include "theory/bv/bv_solver_layered.h" #include "theory/bv/theory_bv_utils.h" using namespace cvc5::prop; @@ -27,7 +27,7 @@ namespace theory { namespace bv { BVQuickCheck::BVQuickCheck(const std::string& name, - theory::bv::BVSolverLazy* bv) + theory::bv::BVSolverLayered* bv) : d_ctx(), d_bitblaster(new TLazyBitblaster(&d_ctx, bv, name, true)), d_conflict(), |