Change option names --default-dag-thresh and --default-expr-depth (#4309)

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.");
   }
 }