projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d84c92f) | patch
contrib: Fix check for get-script-header.sh. (#7259)
authorMathias Preiner <mathias.preiner@gmail.com>
Wed, 29 Sep 2021 02:59:47 +0000 (19:59 -0700)
committerGitHub <noreply@github.com>
Wed, 29 Sep 2021 02:59:47 +0000 (19:59 -0700)
commit1c1add20d0842ea347fffb19bb3ad90eee665a3b
treeb1226ff683227bf0a37b262c34e5eca64ba0babetree
parentd84c92f254c722c0307267a866a5a3e8430bcd35commit | diff
contrib: Fix check for get-script-header.sh. (#7259)

PR #7219 removed CVC language support and therefore also the file src/parser/cvc/Cvc.g. This commit fixes the check (and the nightlies).
contrib/get-script-header.sh diff | blob | history