From 521f54b7d18a758fd109452878af70d15e840667 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=81ron=20Ricardo=20Perez-Lopez?= <arpl@cs.stanford.edu>
Date: Tue, 18 Jun 2024 15:41:56 -0400
Subject: [PATCH] Update smt-switch to pull in bitwuzla fixes (#324)

---
 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..4b06884c 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=2da835b70798954ba7c565793a0fd19e68a3927a
 
 usage () {
     cat <<EOF