1 files changed, 4 insertions, 1 deletions
diff --git a/test/unit/prop/cnf_stream_white.h b/test/unit/prop/cnf_stream_white.h
index bab71d8b2..0736ec052 100644
--- a/test/unit/prop/cnf_stream_white.h
+++ b/test/unit/prop/cnf_stream_white.h
@@ -64,8 +64,9 @@ public:
     return d_nextVar++;
   }
 
-  void addClause(SatClause& c, bool lemma, uint64_t) {
+  ClauseId addClause(SatClause& c, bool lemma) {
     d_addClauseCalled = true;
+    return ClauseIdUndef;
   }
 
   void reset() {
@@ -117,6 +118,8 @@ public:
     return true;
   }
 
+  bool ok() const { return true; }
+
 };/* class FakeSatSolver */
 
 class CnfStreamWhite : public CxxTest::TestSuite {