Index: vboot_firmware/lib/rollback_index.c |
diff --git a/vboot_firmware/lib/rollback_index.c b/vboot_firmware/lib/rollback_index.c |
index 1fed860f101492ee20183c6aed384062adb5edb3..cb86e89e8d51cf7952a3adacc24acd03e40241d7 100644 |
--- a/vboot_firmware/lib/rollback_index.c |
+++ b/vboot_firmware/lib/rollback_index.c |
@@ -8,11 +8,9 @@ |
#include "rollback_index.h" |
-#include <stdint.h> |
- |
-#include "utility.h" |
#include "tlcl.h" |
#include "tss_constants.h" |
+#include "utility.h" |
uint16_t g_firmware_key_version = 0; |
uint16_t g_firmware_version = 0; |