Index: vboot_firmware/lib/cgptlib/include/crc32.h |
diff --git a/vboot_firmware/lib/cgptlib/include/crc32.h b/vboot_firmware/lib/cgptlib/include/crc32.h |
index 93dec3ed80f675fca491a754d9339b46504a8089..23361138fdd4cfbc016b87fa6ff59595a041d2f2 100644 |
--- a/vboot_firmware/lib/cgptlib/include/crc32.h |
+++ b/vboot_firmware/lib/cgptlib/include/crc32.h |
@@ -5,7 +5,7 @@ |
#ifndef VBOOT_REFERENCE_GPT_CRC32_H_ |
#define VBOOT_REFERENCE_GPT_CRC32_H_ |
-#include <stdint.h> |
+#include "sysincludes.h" |
uint32_t Crc32(const void *buffer, uint32_t len); |