diff --git a/src/storm/utility/dd.h b/src/storm/utility/dd.h
index 26e014aca..f8bb50ae4 100644
--- a/src/storm/utility/dd.h
+++ b/src/storm/utility/dd.h
@@ -2,6 +2,7 @@
 
 #include <set>
 #include <vector>
+#include <cstdint>
 
 #include "storm/storage/dd/DdType.h"