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