Browse Source

Added missing include

tempestpy_adaptions
Tim Quatmann 5 years ago
parent
commit
c399c31c52
  1. 3
      src/storm/utility/SignalHandler.h

3
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 {
}
}
}
}
Loading…
Cancel
Save