From 2faaec134cb82c4001c524447eb8cd232d600d97 Mon Sep 17 00:00:00 2001
From: Martin Blicha <martin.blicha@ethereum.org>
Date: Wed, 30 Oct 2024 21:35:18 +0100
Subject: [PATCH] Bump Z3 version

---
 CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 836d2cccb79e..729da0d72e23 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -92,7 +92,7 @@ include(EthOptions)
 configure_project(TESTS)
 
 if(EMSCRIPTEN)
-    set(TESTED_Z3_VERSION "4.12.1")
+    set(TESTED_Z3_VERSION "4.13.3")
     set(MINIMUM_Z3_VERSION "4.8.16")
     find_package(Z3)
     if (${Z3_FOUND})