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 +#include #include "storm-config.h" #include "storm/utility/OsDetection.h" @@ -118,4 +119,4 @@ namespace storm { } } -} \ No newline at end of file +}