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)
src/arch/util/mempool.c

index bf4f978848312feffd2067ce838bd0742a54cec6..a277d080762fe86d342c29e4a2c7ae0c2d158b52 100644 (file)
@@ -17,7 +17,6 @@ Generalized by Gengbin Zheng  10/5/2011
 
 #include <stdio.h>
 #include <stdlib.h>
 
 #include <stdio.h>
 #include <stdlib.h>
-#include <stdint.h>
 #include <string.h>
 #if CMK_HAS_MALLOC_H
 #include <malloc.h>
 #include <string.h>
 #if CMK_HAS_MALLOC_H
 #include <malloc.h>