Update dependencies.sh

gussmith23 · Sep 11, 2024 · e131007 · e131007
1 parent 8b56135
commit e131007
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dependencies.sh b/dependencies.sh
@@ -24,7 +24,7 @@
 export STP_USER_AND_REPO="stp/stp"
 export STP_COMMIT_HASH="918e55c011df5226d293d5f7a784507e03774e28"
 export YICES2_COMMIT_HASH="5326f0d645df6e38ae6e7d944381d01ba7d805ab"
-export BITWUZLA_COMMIT_HASH="9e5d7d82b0a0bfd3dc838eb3c3936acad500dc97"
+export BITWUZLA_COMMIT_HASH="34572708d5df970d73ca0702584ac161ca4584ae"
 export RACKET_FMT_COMMIT_HASH="7d0a3dfff3a6cacfb59972a56d476556f89a0b1b"
 export YOSYS_COMMIT_HASH="693724101280384479e0a3d15647a58a5e445a50"
 export CVC5_COMMIT_HASH="1d05a49387c041dba17f85f3c4e738b4b388ace2"