From c94bc3a585519648a4ff2ca4602289b46f8ad93d Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Wed, 15 Nov 2017 15:52:59 +0100
Subject: [PATCH] fix erroneous copy constructor of bit vector

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

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);