1 files changed, 4 insertions, 3 deletions
diff --git a/src/prop/bvminisat/bvminisat.h b/src/prop/bvminisat/bvminisat.h
index fea437565..e163ddcfd 100644
--- a/src/prop/bvminisat/bvminisat.h
+++ b/src/prop/bvminisat/bvminisat.h
@@ -46,8 +46,11 @@ private:
       d_notify->notify(satClause);
     }
 
+    void spendResource() {
+      d_notify->spendResource();
+    }
     void safePoint() {
-      d_notify->safePoint(); 
+      d_notify->safePoint();
     }
   };
 
@@ -86,8 +89,6 @@ public:
 
   void markUnremovable(SatLiteral lit);
 
-  bool spendResource();
-
   void interrupt();
   
   SatValue solve();