From 92c3f32f08a8f43894c2744212ae5d304538ec1e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 27 Aug 2025 08:44:47 -0700 Subject: [PATCH] Update README-CMake.md Co-authored-by: gonzalobg <65027571+gonzalobg@users.noreply.github.com> --- README-CMake.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)