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.