renaming --smtlib to --smtlib-strict; removing --smtlib2 option

diff --git a/src/options/base_options b/src/options/base_options
index b4cc473ebb09206fe1ef5649a89d7cb1c425f18d..71754cca58e91bc97900545ca874500a11deafcc 100644 (file)
--- a/src/options/base_options
+++ b/src/options/base_options
@@ -125,8 +125,7 @@ option - debug -d --debug=TAG argument :handler CVC4::options::addDebugTag
 option printSuccess print-success --print-success bool :predicate CVC4::options::setPrintSuccess :predicate-include "options/base_options_handlers.h"
  print the "success" output required of SMT-LIBv2
 
-alias --smtlib = --lang=smt2 --output-lang=smt2 --strict-parsing --default-expr-depth=-1 --print-success --incremental --abstract-values
+alias --smtlib-strict = --lang=smt2 --output-lang=smt2 --strict-parsing --default-expr-depth=-1 --print-success --incremental --abstract-values
  SMT-LIBv2 compliance mode (implies other options)
-undocumented-alias --smtlib2 = --smtlib
 
 endmodule