From c2c306163f22324f75b1e4d112ede9875847f6d1 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Mon, 20 Nov 2017 13:22:30 +0100
Subject: [PATCH] slightly fixing syntax

---
 src/storm/storage/BitVector.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/storm/storage/BitVector.cpp b/src/storm/storage/BitVector.cpp
index 41d120ed9..b0d5f0d9d 100644
--- a/src/storm/storage/BitVector.cpp
+++ b/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;
             }