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] 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"