From 7a5131ad6d8b8851a47e593b67183715e68dc8ad Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Wed, 8 Oct 2014 18:12:34 +0200
Subject: [PATCH 1/2] added a header which was missing and caused trouble now
 it was removed elsewhere

Former-commit-id: 9df50068daf0821ab6edcbca224fda8b3d7308f4
---
 src/utility/cli.h | 1 +
 1 file changed, 1 insertion(+)

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

From a18d5e963180e880f74b84592f82231e6789d5b5 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Wed, 8 Oct 2014 18:12:34 +0200
Subject: [PATCH 2/2] missing headers due to removal of other headers in
 another file

Former-commit-id: cca55a7a284bacccfeca1165fd67e8a10b2d521e
---
 src/utility/cli.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/utility/cli.h b/src/utility/cli.h
index ebd8a9bc7..ac962d873 100644
--- a/src/utility/cli.h
+++ b/src/utility/cli.h
@@ -8,6 +8,7 @@
 #include <sstream>
 #include <memory>
 
+#include "storm-config.h"
 // Includes for the linked libraries and versions header.
 #ifdef STORM_HAVE_INTELTBB
 #	include "tbb/tbb_stddef.h"
@@ -30,6 +31,7 @@ log4cplus::Logger logger;
 
 // Headers that provide auxiliary functionality.
 #include "src/utility/storm-version.h"
+
 #include "src/utility/OsDetection.h"
 #include "src/settings/SettingsManager.h"