From c85ee3b2ef44de8d06cd45dcb15ac9c00b4fe5cf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=81ron=20Ricardo=20Perez-Lopez?= <arpl@cs.stanford.edu>
Date: Wed, 28 Aug 2024 11:31:22 -0700
Subject: [PATCH] Update bitwuzla version to
 bitwuzla/bitwuzla@0e81e616af4d4421729884f01928b194c3536c76

---
 contrib/setup-bitwuzla.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/setup-bitwuzla.sh b/contrib/setup-bitwuzla.sh
index 2de9a4c0e..2a6b5fa9b 100755
--- a/contrib/setup-bitwuzla.sh
+++ b/contrib/setup-bitwuzla.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 set -e
 
-BITWUZLA_VERSION=229c0fa35bfbdcae7189558f98911a24909a7f04
+BITWUZLA_VERSION=0e81e616af4d4421729884f01928b194c3536c76
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
 DEPS="$( cd "$( dirname "$DIR" )/deps" && pwd )"