Fix unit test that was broken with last commit.

diff --git a/test/unit/prop/cnf_stream_white.h b/test/unit/prop/cnf_stream_white.h
index 0ba051aa3e45081dfdb8d47dbcaec6d6446a3749..db49e25217ef1f73e80a47014bf799b7f167c084 100644 (file)
--- a/test/unit/prop/cnf_stream_white.h
+++ b/test/unit/prop/cnf_stream_white.h
@@ -93,7 +93,8 @@ public:
   void renewVar(SatLiteral lit, int level = -1) {
   }
 
-  void spendResource() {
+  bool spendResource() {
+    return false;
   }
 
   void interrupt() {