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 {