removed inclusion of unnecessary headers

Former-commit-id: a0a3750621
10 years ago · 1c776a25f2
1 changed files with 0 additions and 4 deletions
--- 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"