From 703449dafe5ce6cdb11e2f8851015f72735e2d5c Mon Sep 17 00:00:00 2001
From: Travis Hance <tjhance7@gmail.com>
Date: Tue, 22 Oct 2024 17:01:30 -0400
Subject: [PATCH] whoops, undo test change

---
 source/tools/get-z3.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/tools/get-z3.sh b/source/tools/get-z3.sh
index efea6e6168..8a853f4286 100755
--- a/source/tools/get-z3.sh
+++ b/source/tools/get-z3.sh
@@ -1,6 +1,6 @@
 #! /bin/bash -eu
 
-z3_version="4.13.0"
+z3_version="4.12.5"
 
 if [ `uname` == "Darwin" ]; then
     if [[ $(uname -m) == 'arm64' ]]; then