This is a general cleanup patch
[coreboot.git] / src / arch / i386 / boot / coreboot_table.c
index f3b7f6dacadedd8607dfc19d9594addd13adf687..d956b127a9dfcb0246fe76969529b7bf2e2a91d7 100644 (file)
@@ -24,7 +24,7 @@
 #include <ip_checksum.h>
 #include <boot/tables.h>
 #include <boot/coreboot_tables.h>
-#include "coreboot_table.h"
+#include <arch/coreboot_tables.h>
 #include <string.h>
 #include <version.h>
 #include <device/device.h>