From b71fd09ce2c296e30f77044ec8b9bb41de274408 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Sat, 2 Jul 2011 04:23:21 +0000
Subject: [PATCH] change

---
 Robust/src/Runtime/bamboo/gctypes.h | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 Robust/src/Runtime/bamboo/gctypes.h

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