change

diff --git a/Robust/src/Runtime/bamboo/gctypes.h b/Robust/src/Runtime/bamboo/gctypes.h
new file mode 100644 (file)
index 0000000..a509366
--- /dev/null
+++ b/Robust/src/Runtime/bamboo/gctypes.h
@@ -0,0 +1,6 @@
+#ifndef GCTYPES
+#define GCTYPES
+typedef int block_t;
+
+
+#endif