From 47344f9080e7e2123c75cb42833a5758e1099972 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Tue, 25 Jun 2019 18:47:17 +0200
Subject: [PATCH] Removed unused flat_set includes

---
 src/storm-dft/builder/ExplicitDFTModelBuilder.h | 1 -
 src/storm-dft/storage/dft/DFT.cpp               | 1 -
 src/storm/builder/ExplicitModelBuilder.h        | 1 -
 3 files changed, 3 deletions(-)

diff --git a/src/storm-dft/builder/ExplicitDFTModelBuilder.h b/src/storm-dft/builder/ExplicitDFTModelBuilder.h
index 46ac973b8..a8090a83f 100644
--- a/src/storm-dft/builder/ExplicitDFTModelBuilder.h
+++ b/src/storm-dft/builder/ExplicitDFTModelBuilder.h
@@ -1,6 +1,5 @@
 #pragma once
 
-#include <boost/container/flat_set.hpp>
 #include <boost/optional/optional.hpp>
 #include <stack>
 #include <unordered_set>
diff --git a/src/storm-dft/storage/dft/DFT.cpp b/src/storm-dft/storage/dft/DFT.cpp
index 927343ebc..0475d898f 100644
--- a/src/storm-dft/storage/dft/DFT.cpp
+++ b/src/storm-dft/storage/dft/DFT.cpp
@@ -1,6 +1,5 @@
 #include "DFT.h"
 
-#include <boost/container/flat_set.hpp>
 #include <map>
 
 #include "storm/exceptions/InvalidArgumentException.h"
diff --git a/src/storm/builder/ExplicitModelBuilder.h b/src/storm/builder/ExplicitModelBuilder.h
index 9440b7e08..58be400ab 100644
--- a/src/storm/builder/ExplicitModelBuilder.h
+++ b/src/storm/builder/ExplicitModelBuilder.h
@@ -7,7 +7,6 @@
 #include <deque>
 #include <cstdint>
 #include <boost/functional/hash.hpp>
-#include <boost/container/flat_set.hpp>
 #include <boost/container/flat_map.hpp>
 #include <boost/variant.hpp>
 #include "storm/models/sparse/StandardRewardModel.h"