Index: vboot_firmware/include/gbb_header.h |
diff --git a/vboot_firmware/include/gbb_header.h b/vboot_firmware/include/gbb_header.h |
index 8f34435a57b92af0ebf411b625bd01f9da053e88..18bb64b7a04f20d5a60b67d8a32320ac75461adf 100644 |
--- a/vboot_firmware/include/gbb_header.h |
+++ b/vboot_firmware/include/gbb_header.h |
@@ -8,7 +8,7 @@ |
#ifndef VBOOT_REFERENCE_GBB_HEADER_H_ |
#define VBOOT_REFERENCE_GBB_HEADER_H_ |
-#include <stdint.h> |
+#include "sysincludes.h" |
#define GBB_HEADER_SIZE (0x80) |