diff --git a/README-CMake.md b/README-CMake.md
index 3bf4e6e6b..978d5dae7 100644
--- a/README-CMake.md
+++ b/README-CMake.md
@@ -102,7 +102,7 @@ cmake targets are added to the project:
 include(FetchContent)
 FetchContent_Declare(Z3
         GIT_REPOSITORY https://github.com/Z3Prover/z3
-        GIT_TAG        z3-4.12.1
+        GIT_TAG        z3-4.15.3
 )
 FetchContent_MakeAvailable(Z3)