X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FRuntime%2Fbamboo%2Fmulticoregcmark.c;h=08f69d5aa20fd2ca1d0d623b53c52ea33ba1230c;hb=5ece740dddfbc9823184d9d5a5818bac06341412;hp=849916962caf91a548c164362d57ab49a6057ccb;hpb=80cbea4f920600908b2c6b84ce8190bd3ef4d9d3;p=IRC.git

diff --git a/Robust/src/Runtime/bamboo/multicoregcmark.c b/Robust/src/Runtime/bamboo/multicoregcmark.c
index 84991696..08f69d5a 100644
--- a/Robust/src/Runtime/bamboo/multicoregcmark.c
+++ b/Robust/src/Runtime/bamboo/multicoregcmark.c
@@ -4,6 +4,11 @@
 #include "multicoreruntime.h"
 #include "GenericHashtable.h"
 #include "gcqueue.h"
+#ifdef MGC
+#include "runtime_arch.h"
+
+extern int corenum;
+#endif
 
 extern int corenum;
 #ifdef TASK