1 files changed, 9 insertions, 4 deletions
diff --git a/src/proof/arith_proof.h b/src/proof/arith_proof.h
index a1df24fac..71e03657f 100644
--- a/src/proof/arith_proof.h
+++ b/src/proof/arith_proof.h
@@ -72,16 +72,21 @@ protected:
   theory::TheoryId getTheoryId() override;
 
  public:
-  ArithProof(theory::arith::TheoryArith* arith, TheoryProofEngine* proofEngine);
+  ArithProof(Environment* env,
+             theory::arith::TheoryArith* arith,
+             TheoryProofEngine* proofEngine);
 
   void registerTerm(Expr term) override;
 };
 
 class LFSCArithProof : public ArithProof {
 public:
-  LFSCArithProof(theory::arith::TheoryArith* arith, TheoryProofEngine* proofEngine)
-    : ArithProof(arith, proofEngine)
-  {}
+ LFSCArithProof(Environment* env,
+                theory::arith::TheoryArith* arith,
+                TheoryProofEngine* proofEngine)
+     : ArithProof(env, arith, proofEngine)
+ {
+ }
   void printOwnedTerm(Expr term,
                       std::ostream& os,
                       const ProofLetMap& map) override;