diff options
author | Tim King <taking@cs.nyu.edu> | 2018-01-15 22:47:40 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-15 22:47:40 -0800 |
commit | 4538f5fe95758f2507c191ab39175491f24e6f67 (patch) | |
tree | 9b288d3601692488e02c10adebf7f90b227981a0 /src/prop/prop_engine.h | |
parent | 9ee67c0d1180c7cf85fb648b57bb47100db3d633 (diff) |
Removing more miscellaneous throw specifiers. (#1509)
Removing more miscellaneous throw specifiers. Also fixing the spelling of amount in several places.
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 |