Update btor2tools version built by contrib script

stanford-centaur · Jul 5, 2024 · 6fb1350 · 6fb1350
1 parent 972e7b2
commit 6fb1350
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/contrib/setup-btor2tools.sh b/contrib/setup-btor2tools.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 set -e
 
-BTOR2TOOLS_VERSION=9831f9909fb283752a3d6d60d43613173bd8af42
+BTOR2TOOLS_VERSION=8775f9ad9caed51d3daa30a416b1a94dfec532b0
 
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
 DEPS=$DIR/../deps