2 files changed, 4 insertions, 4 deletions
diff --git a/src/prop/bvminisat/bvminisat.h b/src/prop/bvminisat/bvminisat.h
index 2c9662655..0bf4edf6a 100644
--- a/src/prop/bvminisat/bvminisat.h
+++ b/src/prop/bvminisat/bvminisat.h
@@ -46,10 +46,10 @@ private:
       d_notify->notify(satClause);
     }
 
-    void spendResource(uint64_t ammount) {
+    void spendResource(unsigned ammount) {
       d_notify->spendResource(ammount);
     }
-    void safePoint(uint64_t ammount) {
+    void safePoint(unsigned ammount) {
       d_notify->safePoint(ammount);
     }
   };
diff --git a/src/prop/bvminisat/core/Solver.h b/src/prop/bvminisat/core/Solver.h
index 7d2a978b9..016a0c225 100644
--- a/src/prop/bvminisat/core/Solver.h
+++ b/src/prop/bvminisat/core/Solver.h
@@ -52,8 +52,8 @@ public:
    */
   virtual void notify(vec<Lit>& learnt) = 0;
 
-  virtual void spendResource(uint64_t ammount) = 0;
-  virtual void safePoint(uint64_t ammount) = 0;
+  virtual void spendResource(unsigned ammount) = 0;
+  virtual void safePoint(unsigned ammount) = 0;
 };
 
 //=================================================================================================