Index: vboot_firmware/lib/vboot_kernel.c |
diff --git a/vboot_firmware/lib/vboot_kernel.c b/vboot_firmware/lib/vboot_kernel.c |
index cdf653db0a8df1f72b912075d8ffcfdb95cb5315..1440eb443f2d9dc37a36f613ce55728a71dfcedb 100644 |
--- a/vboot_firmware/lib/vboot_kernel.c |
+++ b/vboot_firmware/lib/vboot_kernel.c |
@@ -8,7 +8,6 @@ |
#include "vboot_kernel.h" |
-#include <inttypes.h> /* For PRIu64 */ |
#include "boot_device.h" |
#include "cgptlib.h" |
#include "load_kernel_fw.h" |