From b3349dc3448f65425a59663604d9b24b6d8b5eeb Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 28 Sep 2017 09:38:31 +0200
Subject: [PATCH] fixed fill() method of bit vectors

---
 src/storm/storage/BitVector.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm/storage/BitVector.cpp b/src/storm/storage/BitVector.cpp
index 72a0b09fc..f87e80853 100644
--- a/src/storm/storage/BitVector.cpp
+++ b/src/storm/storage/BitVector.cpp
@@ -579,6 +579,7 @@ namespace storm {
         
         void BitVector::fill() {
             std::fill_n(buckets, this->bucketCount(), -1ull);
+            truncateLastBucket();
         }
 
         uint_fast64_t BitVector::getNumberOfSetBits() const {