diff options
Diffstat (limited to 'src/include/cvc4.h')
-rw-r--r-- | src/include/cvc4.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/include/cvc4.h b/src/include/cvc4.h index 5d33fa838..bbaffabb0 100644 --- a/src/include/cvc4.h +++ b/src/include/cvc4.h @@ -67,7 +67,7 @@ public: /* * Construct an SmtEngine with the given expression manager and user options. */ - SmtEngine(ExprManager*, Options*); + SmtEngine(ExprManager*, Options*) throw(); /** * Execute a command. |