some changes towards compilation
authorbdemsky <bdemsky>
Thu, 7 Jul 2011 00:54:16 +0000 (00:54 +0000)
committerbdemsky <bdemsky>
Thu, 7 Jul 2011 00:54:16 +0000 (00:54 +0000)
commit85ff73041067e8c98057a2015e394cbdc6a60b59
tree4fa8d594014e02093048737e6dde3631810327f6
parent12ade5db19bb94d769cce347db015c9c85295015
some changes towards compilation
Robust/src/Runtime/bamboo/pmc_forward.c
Robust/src/Runtime/bamboo/pmc_garbage.c
Robust/src/Runtime/bamboo/pmc_mark.c
Robust/src/Runtime/bamboo/pmc_mem.c
Robust/src/Runtime/bamboo/pmc_refupdate.c