Update alf checker version (cvc5#10117)

ajreynol · Oct 19, 2023 · df9abc7 · df9abc7
1 parent 484049b
commit df9abc7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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