1 files changed, 4 insertions, 2 deletions
diff --git a/src/theory/arith/callbacks.h b/src/theory/arith/callbacks.h
index c8249a9fc..049b621c3 100644
--- a/src/theory/arith/callbacks.h
+++ b/src/theory/arith/callbacks.h
@@ -122,12 +122,14 @@ private:
   ConstraintCPVec d_constraints;
   ConstraintCP d_consequent;
   bool d_consequentSet;
-public:
+  bool d_produceProofs;
+
+ public:
 
   /**
    * Constructs a new FarkasConflictBuilder.
    */
-  FarkasConflictBuilder();
+  FarkasConflictBuilder(bool produceProofs);
 
   /**
    * Adds an antecedent constraint to the conflict under construction