diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-09-28 21:04:53 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2021-09-28 21:04:53 -0700 |
commit | a45eb002b57a741ec1b6346686089ee7711684ae (patch) | |
tree | d2c1e51a2f5df576188e63d52ea49c6587391f1e /src | |
parent | 02f6d2b5e2aba3760ffacdb40b76ce9f5625066f (diff) |
Update `--lang=help`updateLangHelp
Support for the CVC language was removed in #7219 but the help message
for languages was not updated. This removes the mention of CVC from the
help message.
Diffstat (limited to 'src')
-rw-r--r-- | src/main/options_template.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/main/options_template.cpp b/src/main/options_template.cpp index 98daf41dd..b9a432183 100644 --- a/src/main/options_template.cpp +++ b/src/main/options_template.cpp @@ -66,7 +66,6 @@ static const std::string languageDescription = "\ Languages currently supported as arguments to the -L / --lang option:\n\ auto attempt to automatically determine language\n\ - cvc | presentation | pl CVC presentation language\n\ smt | smtlib | smt2 |\n\ smt2.6 | smtlib2.6 SMT-LIB format 2.6 with support for the strings standard\n\ tptp TPTP format (cnf, fof and tff)\n\ @@ -74,7 +73,6 @@ Languages currently supported as arguments to the -L / --lang option:\n\ \n\ Languages currently supported as arguments to the --output-lang option:\n\ auto match output language to input language\n\ - cvc | presentation | pl CVC presentation language\n\ smt | smtlib | smt2 |\n\ smt2.6 | smtlib2.6 SMT-LIB format 2.6 with support for the strings standard\n\ tptp TPTP format\n\ |