From 68b2202c5551c3e9ee6fd11a252e9d6d70e6189c Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 6 Jan 2025 19:52:59 +0000
Subject: [PATCH] deps/z3: Set Version 4.13.4

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

diff --git a/deps/z3 b/deps/z3
index 813b83b653..32d3e23b48 100644
--- a/deps/z3
+++ b/deps/z3
@@ -1 +1 @@
-4.13.0
+4.13.4