diff --git a/CMakeLists.txt b/CMakeLists.txt
index b7fc55f9d..5442379a6 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -52,7 +52,6 @@ option(USE_HYPRO "Sets whether HyPro should be included." OFF)
 mark_as_advanced(USE_HYPRO)
 option(STORM_FORCE_LTL_SUPPORT "Sets whether support for LTL model checking needs to be included." OFF)
 option(STORM_USE_SPOT "Sets whether Spot should be included." ON)
-MARK_AS_ADVANCED(STORM_USE_SPOT)
 option(STORM_FORCE_SHIPPED_SPOT "Sets whether the Spot sources should be downloaded and installed." OFF)
 MARK_AS_ADVANCED(STORM_FORCE_SHIPPED_SPOT)
 option(XML_SUPPORT "Sets whether xml based format parsing should be included." ON)