fix a compilation error
authorGengbin Zheng <gzheng@illinois.edu>
Tue, 27 Mar 2012 15:17:24 +0000 (08:17 -0700)
committerGengbin Zheng <gzheng@illinois.edu>
Tue, 27 Mar 2012 15:17:24 +0000 (08:17 -0700)
commit31523d896e844b811f27b179eff32187925d4524
tree74b762dd4845ed71ec0ef6d9cf29e6055a625b31
parent3587c39766a790b0ddb234a71d26f91b8705c500
fix a compilation error
src/arch/gemini_gni/machine.c