From 1c1add20d0842ea347fffb19bb3ad90eee665a3b Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Tue, 28 Sep 2021 19:59:47 -0700
Subject: [PATCH] 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 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.30.2