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"