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

3 files changed, 7 insertions, 7 deletions

diff --git a/src/options/README b/src/options/README
index ac371e835..47a7d9db7 100644
--- a/src/options/README
+++ b/src/options/README
@@ -111,7 +111,7 @@ Aliases
     [[alias]]
       category   = "regular"
       long       = "smtlib-strict"
-      links      = ["--lang=smt2", "--output-lang=smt2", "--strict-parsing", "--default-expr-depth=-1", "--print-success", "--incremental", "--abstract-values"]
+      links      = ["--lang=smt2", "--output-lang=smt2", "--strict-parsing", "--expr-depth=-1", "--print-success", "--incremental", "--abstract-values"]
       help       = "SMT-LIBv2 compliance mode (implies other options)"
 
 
@@ -123,7 +123,7 @@ Aliases
 
   is equivalent to specifying the options
 
-    --lang=smt2 --output-lang=smt2 --strict-parsing --default-expr-depth=-1 --print-success --incremental --abstract-values
+    --lang=smt2 --output-lang=smt2 --strict-parsing --expr-depth=-1 --print-success --incremental --abstract-values
 
 
   It's also possible to pass an argument through to another option.
diff --git a/src/options/expr_options.toml b/src/options/expr_options.toml
index b64758fd2..c26622fef 100644
--- a/src/options/expr_options.toml
+++ b/src/options/expr_options.toml
@@ -5,7 +5,7 @@ header = "options/expr_options.h"
 [[option]]
   name       = "defaultExprDepth"
   category   = "regular"
-  long       = "default-expr-depth=N"
+  long       = "expr-depth=N"
   type       = "int"
   default    = "0"
   predicates = ["setDefaultExprDepthPredicate"]
@@ -15,9 +15,9 @@ header = "options/expr_options.h"
 
 [[option]]
   name       = "defaultDagThresh"
-  smt_name   = "default-dag-thresh"
+  smt_name   = "dag-thresh"
   category   = "regular"
-  long       = "default-dag-thresh=N"
+  long       = "dag-thresh=N"
   type       = "int"
   default    = "1"
   predicates = ["setDefaultDagThreshPredicate"]
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.");
   }
 }