diff --git a/src/storm/utility/initialize.cpp b/src/storm/utility/initialize.cpp index 2f627b361..32f17a93b 100644 --- a/src/storm/utility/initialize.cpp +++ b/src/storm/utility/initialize.cpp @@ -37,7 +37,7 @@ namespace storm { void setLogLevel(l3pp::LogLevel level) { l3pp::Logger::getRootLogger()->setLevel(level); if (level <= l3pp::LogLevel::DEBUG) { -#if STORM_LOG_DISABLE_DEBUG +#ifdef STORM_LOG_DISABLE_DEBUG std::cout << "***** warning ***** requested loglevel is not compiled\n"; #endif }