diff --git a/src/storm/storage/BitVector.cpp b/src/storm/storage/BitVector.cpp
index 31aa52961..4f54f8dd8 100644
--- a/src/storm/storage/BitVector.cpp
+++ b/src/storm/storage/BitVector.cpp
@@ -118,6 +118,7 @@ namespace storm {
                 bitCount = other.bitCount;
                 if (buckets && bucketCount() != other.bucketCount()) {
                     delete[] buckets;
+                    buckets = nullptr;
                 }
                 if (!buckets) {
                     buckets = new uint64_t[other.bucketCount()];