Removed unused include

Former-commit-id: 90b0a9722e
9 years ago · c5214c6aba
1 changed files with 0 additions and 1 deletions
--- 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 {