From df9abc703189ac10f2eedad33e7c161252ac1436 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Thu, 19 Oct 2023 18:04:45 -0500 Subject: [PATCH] Update alf checker version (#10117) --- contrib/get-alf-checker | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/get-alf-checker b/contrib/get-alf-checker index fd344161d55..b13d5092242 100755 --- a/contrib/get-alf-checker +++ b/contrib/get-alf-checker @@ -24,7 +24,7 @@ ALFC_DIR="$BASE_DIR/alf-checker" mkdir -p $ALFC_DIR # download and unpack ALFC -ALF_VERSION="0ce8d60f75b0bac5af12874a19cfedfced962af9" +ALF_VERSION="a9dba4856e25707ce0a5415a297755dbd214dc7e" download "https://github.com/cvc5/alfc/archive/$ALF_VERSION.tar.gz" $BASE_DIR/tmp/alfc.tgz tar --strip 1 -xzf $BASE_DIR/tmp/alfc.tgz -C $ALFC_DIR