From a01528d9d1e949b5f79be2986e6249d74bbe77f8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=81ron=20Ricardo=20Perez-Lopez?= Date: Thu, 8 Feb 2024 13:35:17 -0800 Subject: [PATCH] Update smt-switch to most recent version --- 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 0fa4c3b8..1ccfd46d 100755 --- a/contrib/setup-smt-switch.sh +++ b/contrib/setup-smt-switch.sh @@ -3,7 +3,7 @@ DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )" DEPS=$DIR/../deps -SMT_SWITCH_VERSION=445b5bc5172cc4a56db121e5ba4c7a5e14147bd5 +SMT_SWITCH_VERSION=f306626821b0fcef13f034150663ecca48713214 usage () { cat <