diff options
Diffstat (limited to 'src/proof/resolution_bitvector_proof.cpp')
| -rw-r--r-- | src/proof/resolution_bitvector_proof.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/proof/resolution_bitvector_proof.cpp b/src/proof/resolution_bitvector_proof.cpp index f4ced1748..5b4847544 100644 --- a/src/proof/resolution_bitvector_proof.cpp +++ b/src/proof/resolution_bitvector_proof.cpp @@ -42,8 +42,8 @@ namespace CVC4 { namespace proof { ResolutionBitVectorProof::ResolutionBitVectorProof( - theory::bv::TheoryBV* bv, TheoryProofEngine* proofEngine) - : BitVectorProof(bv, proofEngine), + Environment* env, theory::bv::TheoryBV* bv, TheoryProofEngine* proofEngine) + : BitVectorProof(env, bv, proofEngine), d_resolutionProof(), d_isAssumptionConflict(false) { |