diff options
author | Tim King <taking@cs.nyu.edu> | 2018-01-09 22:05:02 -0800 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-01-09 22:05:02 -0800 |
commit | 2e5cc613d280fab1be89d8360250cbc3a1635ac9 (patch) | |
tree | ced7d813eec67a32fd3f1b4a1174f5ff00ab1767 /src/options | |
parent | ff9d2c84dae5eb21a7ef77f5931673fb23129730 (diff) |
Cleaning up throw specifiers on Exception and subclasses. (#1475)
Diffstat (limited to 'src/options')
-rw-r--r-- | src/options/option_exception.h | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/options/option_exception.h b/src/options/option_exception.h index 4cea29592..12c69193e 100644 --- a/src/options/option_exception.h +++ b/src/options/option_exception.h @@ -30,9 +30,10 @@ namespace CVC4 { * class, below) should be used instead. */ class CVC4_PUBLIC OptionException : public CVC4::Exception { -public: - OptionException(const std::string& s) throw() : - CVC4::Exception("Error in option parsing: " + s) { + public: + OptionException(const std::string& s) + : CVC4::Exception("Error in option parsing: " + s) + { } };/* class OptionException */ @@ -41,7 +42,7 @@ public: * unrecognized or unsupported option key. */ class CVC4_PUBLIC UnrecognizedOptionException : public CVC4::OptionException { -public: + public: UnrecognizedOptionException() : CVC4::OptionException("Unrecognized informational or option key or setting") { } |