diff --git a/src/storage/BitVector.cpp b/src/storage/BitVector.cpp index 00a94e86c..dff4b2f5f 100644 --- a/src/storage/BitVector.cpp +++ b/src/storage/BitVector.cpp @@ -9,7 +9,6 @@ #include "src/utility/OsDetection.h" #include "src/utility/Hash.h" #include "src/utility/macros.h" -#include "resources/3rdparty/glpk-4.53/src/zlib/zconf.h" namespace storm { namespace storage {