From c399c31c52719de89aff4ba082ca0fc46d1edaa5 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 6 Mar 2020 22:12:48 +0100
Subject: [PATCH] Added missing include
---
src/storm/utility/SignalHandler.h | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/storm/utility/SignalHandler.h b/src/storm/utility/SignalHandler.h
index 070509583..1050dfcad 100644
--- a/src/storm/utility/SignalHandler.h
+++ b/src/storm/utility/SignalHandler.h
@@ -1,6 +1,7 @@
#pragma once
#include <cstdlib>
+#include <cstdint>
#include "storm-config.h"
#include "storm/utility/OsDetection.h"
@@ -118,4 +119,4 @@ namespace storm {
}
}
-}
\ No newline at end of file
+}