From: Andres Noetzli Date: Wed, 29 Sep 2021 04:41:37 +0000 (-0700) Subject: Update `--lang=help` (#7260) X-Git-Tag: cvc5-1.0.0~1161 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c9b3f13981ce88bc081e49213b15da6999f4aea5;p=cvc5.git Update `--lang=help` (#7260) 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. --- 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\