remove stdint.h header file, which is not needed
authorGengbin Zheng <gzheng@illinois.edu>
Thu, 6 Oct 2011 18:55:58 +0000 (11:55 -0700)
committerGengbin Zheng <gzheng@illinois.edu>
Thu, 6 Oct 2011 18:55:58 +0000 (11:55 -0700)
commit251c334e174d11a5b659ac7f4c1afed89e2dab1f
tree10f61f12bf59b4df7257410fd4d76d5b2909729b
parent0d15b6f7d5f72811cefa278f2a1b8e1add6c57bf
remove stdint.h header file, which is not needed
src/arch/util/mempool.c