diff options
author | Tim King <taking@cs.nyu.edu> | 2018-01-14 00:59:54 -0800 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-01-14 00:59:54 -0800 |
commit | 43c0aaae5bf43f385b1faa598812a238810c4486 (patch) | |
tree | bbe1ea912601d3bf463f0f9299d0f232d6a5727c /src/options/options_template.cpp | |
parent | a7dc71b4344cc0573997fcb4134ebf242f59bd7e (diff) |
Removing throw specifiers from OptionsHandler. (#1510)
Diffstat (limited to 'src/options/options_template.cpp')
-rw-r--r-- | src/options/options_template.cpp | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/options/options_template.cpp b/src/options/options_template.cpp index 9de47b388..43d825488 100644 --- a/src/options/options_template.cpp +++ b/src/options/options_template.cpp @@ -551,11 +551,13 @@ public: * Parse argc/argv and put the result into a CVC4::Options. * The return value is what's left of the command line (that is, the * non-option arguments). + * + * Throws OptionException on failures. */ std::vector<std::string> Options::parseOptions(Options* options, - int argc, char* argv[]) - throw(OptionException) { - + int argc, + char* argv[]) +{ Assert(options != NULL); Assert(argv != NULL); @@ -599,8 +601,7 @@ std::vector<std::string> Options::parseOptions(Options* options, void Options::parseOptionsRecursive(Options* options, ArgumentExtender* extender, std::vector<std::string>* nonoptions) - throw(OptionException) { - +{ int argc; char** argv; |