diff options
Diffstat (limited to 'src/theory/bv/bitblast/eager_bitblaster.cpp')
-rw-r--r-- | src/theory/bv/bitblast/eager_bitblaster.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/theory/bv/bitblast/eager_bitblaster.cpp b/src/theory/bv/bitblast/eager_bitblaster.cpp index 627a17bc5..6417740fd 100644 --- a/src/theory/bv/bitblast/eager_bitblaster.cpp +++ b/src/theory/bv/bitblast/eager_bitblaster.cpp @@ -14,14 +14,14 @@ ** Bitblaster for the eager bv solver. **/ -#include "cvc4_private.h" - #include "theory/bv/bitblast/eager_bitblaster.h" +#include "cvc4_private.h" #include "options/bv_options.h" #include "prop/cnf_stream.h" #include "prop/sat_solver_factory.h" #include "smt/smt_statistics_registry.h" +#include "theory/bv/bv_solver_lazy.h" #include "theory/bv/theory_bv.h" #include "theory/theory_model.h" @@ -29,7 +29,7 @@ namespace CVC4 { namespace theory { namespace bv { -EagerBitblaster::EagerBitblaster(TheoryBV* theory_bv, context::Context* c) +EagerBitblaster::EagerBitblaster(BVSolverLazy* theory_bv, context::Context* c) : TBitblaster<Node>(), d_context(c), d_satSolver(), |