small bug fix
authorbdemsky <bdemsky>
Sat, 16 Jul 2011 08:59:52 +0000 (08:59 +0000)
committerbdemsky <bdemsky>
Sat, 16 Jul 2011 08:59:52 +0000 (08:59 +0000)
commit892aa120d569d7d10c610f17c2bd840160fc98a1
tree535ebed9bed7c8e80854651a1d9ac458bc72a510
parent06a7b2d478b9468fabbde71752714f0dd0b4afd4
small bug fix
Robust/src/Runtime/bamboo/pmc_mem.c