diff --git a/src/storm.cpp b/src/storm.cpp index 2931b8552..230223125 100644 --- a/src/storm.cpp +++ b/src/storm.cpp @@ -1,7 +1,3 @@ -// Include generated headers. -#include "storm-config.h" -#include "storm-version.h" - // Include other headers. #include "src/exceptions/BaseException.h" #include "src/utility/macros.h"