missing include

diff --git a/Robust/src/Runtime/runtime.h b/Robust/src/Runtime/runtime.h
index a0ad41f16e18e2c1219fb6c98dfa9631135c9e6d..b02fc1790961ad2f08d8a45fee3fdaaf2240a219 100644 (file)
--- a/Robust/src/Runtime/runtime.h
+++ b/Robust/src/Runtime/runtime.h
@@ -1,5 +1,6 @@
 #ifndef RUNTIME
 #define RUNTIME
+#include <stdlib.h>
 #ifndef MULTICORE
 #include <setjmp.h>
 extern jmp_buf error_handler;