From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 7 Oct 2014 03:28:36 +0000 (-0400)
Subject: Fix unit test that was broken with last commit.
X-Git-Tag: cvc5-1.0.0~6585
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4801b31380dd7fd29b4a01dacec3c4cd195fe40d;p=cvc5.git

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 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() {