diff options
Diffstat (limited to 'src/theory/bv/bv_solver_bitblast_internal.cpp')
-rw-r--r-- | src/theory/bv/bv_solver_bitblast_internal.cpp | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/theory/bv/bv_solver_bitblast_internal.cpp b/src/theory/bv/bv_solver_bitblast_internal.cpp index 1b606a0e9..71a29f472 100644 --- a/src/theory/bv/bv_solver_bitblast_internal.cpp +++ b/src/theory/bv/bv_solver_bitblast_internal.cpp @@ -68,8 +68,11 @@ void collectBVAtoms(TNode n, std::unordered_set<Node>& atoms) } // namespace BVSolverBitblastInternal::BVSolverBitblastInternal( - TheoryState* s, TheoryInferenceManager& inferMgr, ProofNodeManager* pnm) - : BVSolver(*s, inferMgr), + Env& env, + TheoryState* s, + TheoryInferenceManager& inferMgr, + ProofNodeManager* pnm) + : BVSolver(env, *s, inferMgr), d_pnm(pnm), d_bitblaster(new BBProof(s, pnm, false)) { |