diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-04-15 08:37:46 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-15 08:37:46 -0500 |
commit | 681fece601a4f156f2d39b4813d16535b7e2cee3 (patch) | |
tree | f2d39cffdb307ad21277d8cd3c815eb443a1fb77 /src/options/options_handler.cpp | |
parent | 42c765eb255e5bfa65682cd812973f0f3c90017c (diff) |
Change option names --default-dag-thresh and --default-expr-depth (#4309)
Diffstat (limited to 'src/options/options_handler.cpp')
-rw-r--r-- | src/options/options_handler.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/options/options_handler.cpp b/src/options/options_handler.cpp index 7fcc8f2ae..9253ea1c8 100644 --- a/src/options/options_handler.cpp +++ b/src/options/options_handler.cpp @@ -350,13 +350,13 @@ void OptionsHandler::notifyDumpMode(std::string option) // expr/options_handlers.h void OptionsHandler::setDefaultExprDepthPredicate(std::string option, int depth) { if(depth < -1) { - throw OptionException("--default-expr-depth requires a positive argument, or -1."); + throw OptionException("--expr-depth requires a positive argument, or -1."); } } void OptionsHandler::setDefaultDagThreshPredicate(std::string option, int dag) { if(dag < 0) { - throw OptionException("--default-dag-thresh requires a nonnegative argument."); + throw OptionException("--dag-thresh requires a nonnegative argument."); } } |