Fixed typo thanks to @sjunges

moves-rwth · Feb 18, 2025 · 73095bb · 73095bb
1 parent ac7a0c6
commit 73095bb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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()