From b4aaa40ca834958130a8ee5a922ac45c6de84ce1 Mon Sep 17 00:00:00 2001
From: Liana Hadarean <lianahady@gmail.com>
Date: Thu, 28 May 2015 15:03:10 +0100
Subject: added options for controlling resource step-count for various solving
 stages

---
 src/prop/prop_engine.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/prop/prop_engine.h')

diff --git a/src/prop/prop_engine.h b/src/prop/prop_engine.h
index 2750319e6..17ac394c3 100644
--- a/src/prop/prop_engine.h
+++ b/src/prop/prop_engine.h
@@ -228,7 +228,7 @@ public:
    * Informs the ResourceManager that a resource has been spent.  If out of
    * resources, can throw an UnsafeInterruptException exception.
    */
-  void spendResource() throw (UnsafeInterruptException);
+  void spendResource(uint64_t ammount) throw (UnsafeInterruptException);
 
   /**
    * For debugging.  Return true if "expl" is a well-formed
-- 
cgit v1.2.3