[alethe] Bump Carcara version with support for abs taking a Real (c…

…vc5#11321) This is required by cvc5#11297
ajreynol · Oct 29, 2024 · 38fcc34 · 38fcc34
1 parent 9fe9a9c
commit 38fcc34
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/contrib/get-carcara-checker b/contrib/get-carcara-checker
@@ -24,7 +24,7 @@ CARCARA_DIR="$BASE_DIR/carcara"
 mkdir -p $CARCARA_DIR
 
 # download and unpack Carcara
-CARCARA_VERSION="6eb3cd069773b0f0bec4c312e30b2bf921681e74"
+CARCARA_VERSION="c3a785546a6e6cdd91f63dfb70f33b746d96a92f"
 download "https://github.com/hanielb/carcara/archive/$CARCARA_VERSION.tar.gz" $BASE_DIR/tmp/carcara.tgz
 tar --strip 1 -xzf $BASE_DIR/tmp/carcara.tgz -C $CARCARA_DIR
 rm $BASE_DIR/tmp/carcara.tgz