From 73095bbcb90c293398bdfb54fa307f999fa2b46c Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Tue, 18 Feb 2025 10:20:10 +0100 Subject: [PATCH] Fixed typo thanks to @sjunges --- resources/3rdparty/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt index 2bde676ff..6634f6be4 100644 --- a/resources/3rdparty/CMakeLists.txt +++ b/resources/3rdparty/CMakeLists.txt @@ -204,7 +204,7 @@ if(Z3_FOUND) list(GET Z3_VERSION_LIST 2 STORM_Z3_VERSION_PATCH) if ("${Z3_VERSION}" VERSION_EQUAL "4.10.1") - message (WARNING "Storm - Can link against Z3 version 4.10.1, see issue 252.") + message(WARNING "Storm - Cannot link against Z3 version 4.10.1, see issue 252.") message(WARNING "Storm - Could not link with Z3. Building of Prism/JANI models will not be supported.") set(Z3_FOUND FALSE) else()