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