diff options
Diffstat (limited to 'src/prop/prop_engine.h')
-rw-r--r-- | src/prop/prop_engine.h | 6 |
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 |