From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 29 Sep 2021 02:59:47 +0000 (-0700)
Subject: contrib: Fix check for get-script-header.sh. (#7259)
X-Git-Tag: cvc5-1.0.0~1164
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1c1add20d0842ea347fffb19bb3ad90eee665a3b;p=cvc5.git

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).
---

diff --git a/contrib/get-script-header.sh b/contrib/get-script-header.sh
index 5deaa00da..49af8d887 100644
--- a/contrib/get-script-header.sh
+++ b/contrib/get-script-header.sh
@@ -12,7 +12,7 @@ INSTALL_BIN_DIR="$INSTALL_DIR/bin"
 
 mkdir -p "$DEPS_DIR"
 
-if ! [ -e src/parser/cvc/Cvc.g ]; then
+if ! [ -e src/parser/smt2/Smt2.g ]; then
   echo "$(basename $0): I expect to be in the contrib/ of a cvc5 source tree," >&2
   echo "but apparently:" >&2
   echo >&2