diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt
index 57b50fd5c..4077d6230 100644
--- a/resources/3rdparty/CMakeLists.txt
+++ b/resources/3rdparty/CMakeLists.txt
@@ -368,7 +368,7 @@ message(STATUS "Storm - Using shipped version of sylvan.")
 message(STATUS "Storm - Linking with sylvan.")
 add_imported_library(sylvan STATIC ${Sylvan_LIBRARY} ${Sylvan_INCLUDE_DIR})
 add_dependencies(sylvan_STATIC sylvan)
-if(USE_SHIPPED_CARL)
+if(STORM_SHIPPED_CARL)
 	add_dependencies(sylvan carl)
 endif()
 list(APPEND STORM_DEP_TARGETS sylvan_STATIC)