From: bdemsky <bdemsky>
Date: Sat, 2 Jul 2011 04:23:21 +0000 (+0000)
Subject: change
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=b71fd09ce2c296e30f77044ec8b9bb41de274408;p=IRC.git

change
---

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