Update smt-switch version to stanford-centaur/smt-switch@2f47405

stanford-centaur · Aug 30, 2024 · f5beacc · f5beacc
1 parent 2451303
commit f5beacc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/contrib/setup-smt-switch.sh b/contrib/setup-smt-switch.sh
@@ -4,7 +4,7 @@ set -e
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
 DEPS=$DIR/../deps
 
-SMT_SWITCH_VERSION=ff051c824d8d4ae29977c552561e278b38e0e42f
+SMT_SWITCH_VERSION=2f47405dbf62bb97caea4b64e9a104489dc50ad6
 
 usage () {
  cat <<EOF