1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/arith/theory_arith.h b/src/theory/arith/theory_arith.h
index 07ba08e9c..11cbfb425 100644
--- a/src/theory/arith/theory_arith.h
+++ b/src/theory/arith/theory_arith.h
@@ -144,7 +144,7 @@ private:
   SimplexDecisionProcedure d_simplex;
 
 public:
-  TheoryArith(context::Context* c, OutputChannel& out);
+  TheoryArith(context::Context* c, OutputChannel& out, Valuation valuation);
   ~TheoryArith();
 
   /**
@@ -161,7 +161,7 @@ public:
 
   void notifyEq(TNode lhs, TNode rhs);
 
-  Node getValue(TNode n, Valuation* valuation);
+  Node getValue(TNode n);
 
   void shutdown(){ }