Update btor2tools version built by contrib script (#330)

CI is currently failing because the btor2tools version requested is too old (not present in the shallow clone).
stanford-centaur · Jul 5, 2024 · e21b880 · e21b880
1 parent 972e7b2
commit e21b880
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