forgot include

diff --git a/Robust/src/Runtime/task.c b/Robust/src/Runtime/task.c
index 9d3e14a2b9d110d261db8c09ae2a5809fceb8e4a..b81f8862e3883c15c9ba72cfc5170d2a1acca3f2 100644 (file)
--- a/Robust/src/Runtime/task.c
+++ b/Robust/src/Runtime/task.c
@@ -10,6 +10,7 @@
 #include <sys/types.h>
 #include <sys/mman.h>
 #include <string.h>
+#include <signal.h>
 
 extern int injectfailures;
 extern float failurechance;