diff options
Diffstat (limited to 'src/theory/theory_engine.h')
| -rw-r--r-- | src/theory/theory_engine.h | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h index f380e86aa..22e269409 100644 --- a/src/theory/theory_engine.h +++ b/src/theory/theory_engine.h @@ -461,10 +461,9 @@ public: /** Destroys a theory engine */ ~TheoryEngine(); - void interrupt() throw(ModalException); - /** - * "Spend" a resource during a search or preprocessing. - */ + void interrupt(); + + /** "Spend" a resource during a search or preprocessing.*/ void spendResource(unsigned amount); /** |