Chromium Code Reviews| 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" |