From df8f1cffa55136b9fc32a390d44cefc5154d2bff Mon Sep 17 00:00:00 2001
From: Samuel Chassot <samuel.chassot@epfl.ch>
Date: Wed, 4 Sep 2024 12:41:15 +0200
Subject: [PATCH] cvc5

---
 stainless-ci.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/stainless-ci.sh b/stainless-ci.sh
index 4de804481..a4a92203a 100755
--- a/stainless-ci.sh
+++ b/stainless-ci.sh
@@ -79,7 +79,7 @@ if [ -n "$SOLVERS_DIR" ]; then
   mkdir -p "$SOLVERS_DIR"
   mkdir -p "$TEMP_DIR"
   # cvc5
-  wget https://github.com/cvc5/cvc5/releases/download/cvc5-1.2.0/cvc5-Linux-x86_64-static-gpl.zip -O "$TEMP_DIR/downloaded.zip"
+  wget https://github.com/cvc5/cvc5/releases/download/cvc5-1.2.0/cvc5-Linux-x86_64-static.zip -O "$TEMP_DIR/downloaded.zip"
   unzip "$TEMP_DIR/downloaded.zip" -d "$TEMP_DIR"
   CVC5_DIR=$(ls "$TEMP_DIR" | grep cvc5)
   mv "$TEMP_DIR/$CVC5_DIR/bin/cvc5" "$SOLVERS_DIR/cvc5"
@@ -175,4 +175,4 @@ DURATION=$((TIME_AFTER - TIME_BEFORE))
 echo ""
 echo "********************************* CI PASSED! *********************************"
 
-echo "Total time: $DURATION seconds"
\ No newline at end of file
+echo "Total time: $DURATION seconds"