From 1c776a25f2ef294ecfb9f5fce4e4a03fc121e481 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Wed, 8 Oct 2014 17:41:50 +0200
Subject: [PATCH] removed inclusion of unnecessary headers

Former-commit-id: a0a3750621fb20dc8fcabcd3885e0dc005770461
---
 src/storm.cpp | 4 ----
 1 file changed, 4 deletions(-)

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"