From c20f3a9400c70a2d93c2e606ae1be04d313d9932 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Fri, 17 Nov 2017 13:00:29 +0100
Subject: [PATCH] fixed bug in bit vector copy constructor pointed out by
Joachim Klein
---
src/storm/storage/BitVector.cpp | 1 +
1 file changed, 1 insertion(+)
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()];