From b9c38fe11a4ed07e2807a87727f85e3d5486a71a Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 20 Mar 2019 11:42:30 +0100
Subject: [PATCH] Fixed includes

---
 src/storm/utility/string.cpp | 3 +--
 src/storm/utility/string.h   | 3 ++-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/storm/utility/string.cpp b/src/storm/utility/string.cpp
index 1fa0123e1..4d22f434f 100644
--- a/src/storm/utility/string.cpp
+++ b/src/storm/utility/string.cpp
@@ -1,5 +1,4 @@
 #include "storm/utility/string.h"
-#include <vector>
 #include <boost/algorithm/string/join.hpp>
 
 namespace storm {
@@ -67,4 +66,4 @@ namespace storm {
             }
         }
     }
-}
\ No newline at end of file
+}
diff --git a/src/storm/utility/string.h b/src/storm/utility/string.h
index 1b749e9bf..332113341 100644
--- a/src/storm/utility/string.h
+++ b/src/storm/utility/string.h
@@ -1,6 +1,7 @@
 #pragma once
 
 #include <string>
+#include <vector>
 #include <set>
 
 namespace storm {
@@ -54,4 +55,4 @@ namespace storm {
             uint64_t levenshteinDistance(std::string const& lhs, std::string const& rhs, bool caseSensitive = true);
         }
     }
-}
\ No newline at end of file
+}