From 846a732759737203d3d6e9d76c7e3b820eda8231 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=81ron=20Ricardo=20Perez-Lopez?= Date: Wed, 10 Jul 2024 12:39:11 +0200 Subject: [PATCH] Use smt-switch version with static fixes --- contrib/setup-smt-switch.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/setup-smt-switch.sh b/contrib/setup-smt-switch.sh index 12c6fbb8..049ac00f 100755 --- 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=2da835b70798954ba7c565793a0fd19e68a3927a +SMT_SWITCH_VERSION=c2eff0a180a9f814bb86afe8bd0f65b390993e21 usage () { cat <