Index: vboot_firmware/lib/cgptlib/crc32.c |
diff --git a/vboot_firmware/lib/cgptlib/crc32.c b/vboot_firmware/lib/cgptlib/crc32.c |
index a2bb1859f2ac7b41d74974e6e64179cf7d0ede22..9dacd1789e2dfb15513b707a537a4ad8a5bfab5e 100755 |
--- a/vboot_firmware/lib/cgptlib/crc32.c |
+++ b/vboot_firmware/lib/cgptlib/crc32.c |
@@ -40,7 +40,6 @@ |
/* */ |
/* -------------------------------------------------------------------- */ |
#include "crc32.h" |
-#include <stdint.h> |
static uint32_t crc32_tab[] = { |
0x00000000U, 0x77073096U, 0xee0e612cU, 0x990951baU, 0x076dc419U, |