From c5214c6abafe657dc159b8ea0da28b296dac1790 Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Tue, 16 Feb 2016 12:06:56 +0100
Subject: [PATCH] Removed unused include

Former-commit-id: 90b0a9722e514a557a8d26a43b33f938a0e73794
---
 src/storage/BitVector.cpp | 1 -
 1 file changed, 1 deletion(-)

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 {