From c4ed5b2ecf2b16fd876a2c79272467b078c2d190 Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Tue, 13 Aug 2024 23:46:37 -0600
Subject: [PATCH] deps/z3: Set Version 4.13.0 (#2578)

---
 deps/z3 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/z3 b/deps/z3
index 53cf85e173..813b83b653 100644
--- a/deps/z3
+++ b/deps/z3
@@ -1 +1 @@
-4.12.1
+4.13.0