From ec8ddb8736c6e66d3399f2b98a78138c13ada748 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Mon, 28 Feb 2011 21:48:36 +0000
Subject: [PATCH] missing include

---
 Robust/src/Runtime/runtime.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Robust/src/Runtime/runtime.h b/Robust/src/Runtime/runtime.h
index a0ad41f1..b02fc179 100644
--- 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;
-- 
2.34.1