From 4c5abe19f3d79a27ee14bf28ed5c792b24ea4451 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Basg=C3=B6ze?= <daniel.basgoeze@rwth-aachen.de>
Date: Thu, 2 Apr 2020 20:50:44 +0200
Subject: [PATCH] Remove unnecessary cast

---
 src/storm/utility/bitoperations.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/utility/bitoperations.h b/src/storm/utility/bitoperations.h
index 18b42a1cd..931f3e82d 100644
--- a/src/storm/utility/bitoperations.h
+++ b/src/storm/utility/bitoperations.h
@@ -3,7 +3,7 @@
 inline size_t smallestIntWithNBitsSet(size_t n) {
     static_assert(sizeof(size_t) == 8, "size_t has wrong size.");
     STORM_LOG_ASSERT(n < 64, "Input is too large."); // TODO fix this for 32 bit architectures!
-    if(n==0) return static_cast<size_t>(0);
+    if(n==0) return 0;
     return (1 << n) - 1;
 }