diff options
| author | Morgan Deters <mdeters@gmail.com> | 2009-11-25 00:42:52 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2009-11-25 00:42:52 +0000 |
| commit | 2a1ac62e56d43893c59c4c2d91bcaca0dd7ce417 (patch) | |
| tree | 5d2e6b493d8d366ab75163effaf13191dbf0bd71 /src/include | |
| parent | 06b391f721c8e9de4835e5a5bf2c60383ea7f8e9 (diff) | |
additional work on parser hookup, configuration + build
Diffstat (limited to 'src/include')
| -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. |