From 972abfcf6fe1f90b552dbfdf0dc1c05b44273ae2 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:51:32 +0200
Subject: [PATCH] Include required headers

---
 src/storm/utility/bitoperations.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/storm/utility/bitoperations.h b/src/storm/utility/bitoperations.h
index 931f3e82d..e12ff6d40 100644
--- a/src/storm/utility/bitoperations.h
+++ b/src/storm/utility/bitoperations.h
@@ -1,4 +1,6 @@
 #pragma once
+#include<cstddef>
+#include "storm/utility/macros.h"
 
 inline size_t smallestIntWithNBitsSet(size_t n) {
     static_assert(sizeof(size_t) == 8, "size_t has wrong size.");
@@ -11,5 +13,5 @@ inline size_t nextBitPermutation(size_t v) {
     if (v==0) return static_cast<size_t>(0);
     // From https://graphics.stanford.edu/~seander/bithacks.html#NextBitPermutation
     size_t t = (v | (v - 1)) + 1;
-    return t | ((((t & -t) / (v & -v)) >> 1) - 1);  
+    return t | ((((t & -t) / (v & -v)) >> 1) - 1);
 }