From a728c013229f4dfda9b2d7ed2b8c0d4aee08f055 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 22 Apr 2020 13:52:58 +0200
Subject: [PATCH] BitVector: Fixed an issue with the move assignment operator.
 The 'other' BitVector was left in an invalid state.

---
 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 a4ad5fca9..8df237df3 100644
--- a/src/storm/storage/BitVector.cpp
+++ b/src/storm/storage/BitVector.cpp
@@ -156,6 +156,7 @@ namespace storm {
             // Only perform the assignment if the source and target are not identical.
             if (this != &other) {
                 bitCount = other.bitCount;
+                other.bitCount = 0;
                 if (this->buckets) {
                     delete[] this->buckets;
                 }