From 4801b31380dd7fd29b4a01dacec3c4cd195fe40d Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Mon, 6 Oct 2014 23:28:36 -0400
Subject: [PATCH] Fix unit test that was broken with last commit.

---
 test/unit/prop/cnf_stream_white.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/test/unit/prop/cnf_stream_white.h b/test/unit/prop/cnf_stream_white.h
index 0ba051aa3..db49e2521 100644
--- 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() {
-- 
2.30.2