projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 02f6d2b) | patch
Update `--lang=help` (#7260)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 29 Sep 2021 04:41:37 +0000 (21:41 -0700)
committerGitHub <noreply@github.com>
Wed, 29 Sep 2021 04:41:37 +0000 (21:41 -0700)
commitc9b3f13981ce88bc081e49213b15da6999f4aea5
treed2c1e51a2f5df576188e63d52ea49c6587391f1etree
parent02f6d2b5e2aba3760ffacdb40b76ce9f5625066fcommit | diff
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.
src/main/options_template.cpp diff | blob | history