From ebab145180c4c6253713e9d6732b99ac9c5dbbec Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Wed, 2 Sep 2015 19:43:45 +0200
Subject: [PATCH] use default bitvector move, which is fine
Former-commit-id: e646a13fb5cef099228987b8cc520989d6ae64d5
---
src/storage/BitVector.cpp | 4 ++--
src/storage/BitVector.h | 2 +-
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/storage/BitVector.cpp b/src/storage/BitVector.cpp
index 3e1e9bb5b..ab08e8991 100644
--- a/src/storage/BitVector.cpp
+++ b/src/storage/BitVector.cpp
@@ -91,9 +91,9 @@ namespace storm {
// Intentionally left empty.
}
- BitVector::BitVector(BitVector&& other) : bitCount(other.bitCount), bucketVector(std::move(other.bucketVector)) {
+ //BitVector::BitVector(BitVector&& other) : bitCount(other.bitCount), bucketVector(std::move(other.bucketVector)) {
// Intentionally left empty.
- }
+ //}
BitVector& BitVector::operator=(BitVector const& other) {
// Only perform the assignment if the source and target are not identical.
diff --git a/src/storage/BitVector.h b/src/storage/BitVector.h
index 4c5e64352..d52f07427 100644
--- a/src/storage/BitVector.h
+++ b/src/storage/BitVector.h
@@ -135,7 +135,7 @@ namespace storm {
*
* @param other The bit vector from which to move-construct.
*/
- BitVector(BitVector&& other);
+ BitVector(BitVector&& other) = default;
/*!
* Compares the given bit vector with the current one.