diff --git a/src/utility/cli.h b/src/utility/cli.h index ac962d873..c6054e3c4 100644 --- a/src/utility/cli.h +++ b/src/utility/cli.h @@ -31,7 +31,6 @@ log4cplus::Logger logger; // Headers that provide auxiliary functionality. #include "src/utility/storm-version.h" - #include "src/utility/OsDetection.h" #include "src/settings/SettingsManager.h"