Index: vboot_firmware/lib/include/vboot_kernel.h |
diff --git a/vboot_firmware/lib/include/vboot_kernel.h b/vboot_firmware/lib/include/vboot_kernel.h |
index 03b640a1fb18a8049ef63709e57a4188cdc9a0c1..9cb7f028e8489e5f5182e2db85883416f1a70bcc 100644 |
--- a/vboot_firmware/lib/include/vboot_kernel.h |
+++ b/vboot_firmware/lib/include/vboot_kernel.h |
@@ -9,8 +9,6 @@ |
#ifndef VBOOT_REFERENCE_VBOOT_KERNEL_H_ |
#define VBOOT_REFERENCE_VBOOT_KERNEL_H_ |
-#include <stdint.h> |
- |
#include "cgptlib.h" |
/* Allocates and reads GPT data from the drive. The sector_bytes and |