From 1acd2da2af08448c24e135a20732d37b5950e429 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 14 Aug 2024 04:18:04 +0000
Subject: [PATCH] deps/z3_version: Set Version 4.13.0

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

diff --git a/deps/z3_version b/deps/z3_version
index 53cf85e17..813b83b65 100644
--- a/deps/z3_version
+++ b/deps/z3_version
@@ -1 +1 @@
-4.12.1
+4.13.0