diff options
Diffstat (limited to 'src/main/main.h')
| -rw-r--r-- | src/main/main.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/main.h b/src/main/main.h index 5e0c68053..60817d976 100644 --- a/src/main/main.h +++ b/src/main/main.h @@ -28,7 +28,7 @@ public: OptionException(const std::string& s) throw() : CVC4::Exception("Error in option parsing: " + s) {} };/* class OptionException */ -int parseOptions(int argc, char** argv, CVC4::Options*) throw(CVC4::Exception*); +int parseOptions(int argc, char** argv, CVC4::Options*) throw(OptionException); void cvc4_init() throw(); }/* CVC4::main namespace */ |