From 4f14b27a87021e90305ce80772bb8da13befcf20 Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Wed, 14 Aug 2024 02:04:10 -0600
Subject: [PATCH] Update dependency: deps/z3 (#4586)

Co-authored-by: devops <devops@runtimeverification.com>
---
 deps/z3 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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