fixed minor problem in PumpLocal
authorYanhua Sun <sun51@hopper08.(none)>
Wed, 17 Aug 2011 04:11:05 +0000 (21:11 -0700)
committerYanhua Sun <sun51@hopper08.(none)>
Wed, 17 Aug 2011 04:11:05 +0000 (21:11 -0700)
commitdcae025796753ee576d270de23c56771481da93c
tree48dfa8f42754263ccc19c927c7f770fc6d629c81
parentc71d2227f49bde4b5eae74f87d19ce05445a29a2
fixed minor problem in PumpLocal
src/arch/gemini_gni/machine.c