1 files changed, 4 insertions, 2 deletions
diff --git a/src/prop/prop_engine.h b/src/prop/prop_engine.h
index 4802ae52c..f3a69be96 100644
--- a/src/prop/prop_engine.h
+++ b/src/prop/prop_engine.h
@@ -226,14 +226,16 @@ public:
 
   /**
    * Interrupt a running solver (cause a timeout).
+   *
+   * Can potentially throw a ModalException.
    */
-  void interrupt() throw(ModalException);
+  void interrupt();
 
   /**
    * Informs the ResourceManager that a resource has been spent.  If out of
    * resources, can throw an UnsafeInterruptException exception.
    */
-  void spendResource(unsigned ammount) throw (UnsafeInterruptException);
+  void spendResource(unsigned amount);
 
   /**
    * For debugging.  Return true if "expl" is a well-formed