define bool

diff --git a/Robust/src/Runtime/runtime.c b/Robust/src/Runtime/runtime.c
index e0129f858506594bdc1fac79b7fa4c8674105602..c6fd9a9be288496784f80d68f4d5c8329e27a0bc 100644 (file)
--- a/Robust/src/Runtime/runtime.c
+++ b/Robust/src/Runtime/runtime.c
@@ -56,6 +56,10 @@ pthread_barrierattr_t attr;
 
 #include <string.h>
 
+#ifndef bool
+#define bool int
+#endif
+
 extern int classsize[];
 extern int typearray[];
 extern int typearray2[];