fixed fill() method of bit vectors

7 years ago · b3349dc344
1 changed files with 1 additions and 0 deletions
--- 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 {