Fix unit test (compile error) for new SatSolver interface

diff --git a/test/unit/prop/cnf_stream_white.h b/test/unit/prop/cnf_stream_white.h
index e71dcb41d2e1b0f0f4d402a3d9df39f5e897523d..ccba0164a5ed6355ccd231390a3b3170f27d1258 100644 (file)
--- a/test/unit/prop/cnf_stream_white.h
+++ b/test/unit/prop/cnf_stream_white.h
@@ -55,7 +55,7 @@ public:
     d_addClauseCalled(false) {
   }
 
-  SatVariable newVar(bool theoryAtom) {
+  SatVariable newVar(bool theoryAtom, bool preRegister, bool canErase) {
     return d_nextVar++;
   }