slightly fixing syntax

src/storm/storage/BitVector.cpp

@@ -158,8 +158,9 @@ namespace storm {
             // Only perform the assignment if the source and target are not identical.
             if (this != &other) {
                 bitCount = other.bitCount;
-                if (this->buckets)
+                if (this->buckets) {
                     delete[] this->buckets;
+                }
                 this->buckets = other.buckets;
                 other.buckets = nullptr;
             }