diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt
index 2e3d96146..2d5309ee5 100644
--- a/resources/3rdparty/CMakeLists.txt
+++ b/resources/3rdparty/CMakeLists.txt
@@ -1,7 +1,7 @@
 add_custom_target(resources) 
 add_custom_target(test-resources)
 
-if(STORM_SUPPORT_XML_FORMATS)
+if(STORM_SUPPORT_XML_INPUT_FORMATS)
     include(ExternalProject)
     ExternalProject_Add(
             xercesc