Update bitwuzla version to bitwuzla/bitwuzla@0e81e61 (stanford-centau…

…r#353)
CyanoKobalamyne · Aug 30, 2024 · 2f47405 · 2f47405
1 parent ff051c8
commit 2f47405
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/contrib/setup-bitwuzla.sh b/contrib/setup-bitwuzla.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 set -e
 
-BITWUZLA_VERSION=229c0fa35bfbdcae7189558f98911a24909a7f04
+BITWUZLA_VERSION=0e81e616af4d4421729884f01928b194c3536c76
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
 DEPS="$( cd "$( dirname "$DIR" )/deps" && pwd )"