use default bitvector move, which is fine

Former-commit-id: e646a13fb5

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.

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.