From 9c33cec3b61d0a549b93d1a51a073436b17e4ac7 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Sun, 14 Jun 2020 16:38:19 +0200
Subject: [PATCH] Added mising include

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

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"