From a8f3205d969070fbc5d4b5e121509085d383c7bb Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 25 Mar 2020 08:52:08 +0100
Subject: [PATCH] minor clean-up of includes

---
 src/storm/settings/SettingsManager.cpp | 1 -
 src/storm/utility/vector.h             | 4 ++--
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/storm/settings/SettingsManager.cpp b/src/storm/settings/SettingsManager.cpp
index 6a694d09d..bff3aa37d 100644
--- a/src/storm/settings/SettingsManager.cpp
+++ b/src/storm/settings/SettingsManager.cpp
@@ -11,7 +11,6 @@
 
 #include "storm/exceptions/IllegalFunctionCallException.h"
 #include "storm/exceptions/OptionParserException.h"
-#include "storm/utility/storm-version.h"
 #include "storm/settings/modules/GeneralSettings.h"
 #include "storm/settings/modules/CoreSettings.h"
 #include "storm/settings/modules/IOSettings.h"
diff --git a/src/storm/utility/vector.h b/src/storm/utility/vector.h
index e5fda444e..dd562a8e1 100644
--- a/src/storm/utility/vector.h
+++ b/src/storm/utility/vector.h
@@ -5,8 +5,8 @@
 #include <algorithm>
 #include <functional>
 #include <numeric>
-#include <storm/adapters/RationalFunctionAdapter.h>
-#include <storm/adapters/IntelTbbAdapter.h>
+#include "storm/adapters/RationalFunctionAdapter.h"
+#include "storm/adapters/IntelTbbAdapter.h"
 
 #include <boost/optional.hpp>