4 files changed, 9 insertions, 9 deletions
diff --git a/test/unit/theory/theory_arith_white.h b/test/unit/theory/theory_arith_white.h
index 4aee8060f..9de8f94b4 100644
--- a/test/unit/theory/theory_arith_white.h
+++ b/test/unit/theory/theory_arith_white.h
@@ -96,7 +96,7 @@ public:
     d_nm = new NodeManager(d_ctxt);
     d_scope = new NodeManagerScope(d_nm);
     d_outputChannel.clear();
-    d_arith = new TheoryArith(d_ctxt, d_outputChannel);
+    d_arith = new TheoryArith(d_ctxt, d_outputChannel, Valuation(NULL));
 
     preregistered = new std::set<Node>();
 
diff --git a/test/unit/theory/theory_black.h b/test/unit/theory/theory_black.h
index 18408acd3..a362a597c 100644
--- a/test/unit/theory/theory_black.h
+++ b/test/unit/theory/theory_black.h
@@ -104,8 +104,8 @@ public:
   set<Node> d_registered;
   vector<Node> d_getSequence;
 
-  DummyTheory(Context* ctxt, OutputChannel& out) :
-    Theory(theory::THEORY_BUILTIN, ctxt, out) {
+  DummyTheory(Context* ctxt, OutputChannel& out, Valuation valuation) :
+    Theory(theory::THEORY_BUILTIN, ctxt, out, valuation) {
   }
 
   void registerTerm(TNode n) {
@@ -142,7 +142,7 @@ public:
   void preRegisterTerm(TNode n) {}
   void propagate(Effort level) {}
   void explain(TNode n, Effort level) {}
-  Node getValue(TNode n, Valuation* valuation) { return Node::null(); }
+  Node getValue(TNode n) { return Node::null(); }
   string identify() const { return "DummyTheory"; }
 };
 
@@ -165,7 +165,7 @@ public:
     d_ctxt = new Context;
     d_nm = new NodeManager(d_ctxt);
     d_scope = new NodeManagerScope(d_nm);
-    d_dummy = new DummyTheory(d_ctxt, d_outputChannel);
+    d_dummy = new DummyTheory(d_ctxt, d_outputChannel, Valuation(NULL));
     d_outputChannel.clear();
     atom0 = d_nm->mkConst(true);
     atom1 = d_nm->mkConst(false);
diff --git a/test/unit/theory/theory_engine_white.h b/test/unit/theory/theory_engine_white.h
index 5915ac1f7..f99698204 100644
--- a/test/unit/theory/theory_engine_white.h
+++ b/test/unit/theory/theory_engine_white.h
@@ -107,8 +107,8 @@ class FakeTheory : public Theory {
   // static std::deque<RewriteItem> s_expected;
 
 public:
-  FakeTheory(context::Context* ctxt, OutputChannel& out) :
-    Theory(theoryId, ctxt, out)
+  FakeTheory(context::Context* ctxt, OutputChannel& out, Valuation valuation) :
+    Theory(theoryId, ctxt, out, valuation)
   { }
 
   /** Register an expected rewrite call */
@@ -212,7 +212,7 @@ public:
   void check(Theory::Effort) { Unimplemented(); }
   void propagate(Theory::Effort) { Unimplemented(); }
   void explain(TNode, Theory::Effort) { Unimplemented(); }
-  Node getValue(TNode n, Valuation* valuation) { return Node::null(); }
+  Node getValue(TNode n) { return Node::null(); }
 };/* class FakeTheory */
 
 
diff --git a/test/unit/theory/theory_uf_tim_white.h b/test/unit/theory/theory_uf_tim_white.h
index 19b289ae7..1940bc199 100644
--- a/test/unit/theory/theory_uf_tim_white.h
+++ b/test/unit/theory/theory_uf_tim_white.h
@@ -61,7 +61,7 @@ public:
     d_nm = new NodeManager(d_ctxt);
     d_scope = new NodeManagerScope(d_nm);
     d_outputChannel.clear();
-    d_euf = new TheoryUFTim(d_ctxt, d_outputChannel);
+    d_euf = new TheoryUFTim(d_ctxt, d_outputChannel, Valuation(NULL));
 
     d_booleanType = new TypeNode(d_nm->booleanType());
   }