sigh
[coreboot.git] / src / mainboard / asus / m5a99x-evo / fadt.c
index adba78055bad02ca80e5bfe04891449147ef3ec0..420c3bac8ad12341e2daa035dd6417429d7056ff 100644 (file)
@@ -26,7 +26,7 @@
 #include <arch/acpi.h>
 #include <arch/io.h>
 #include <device/device.h>
-#include "SBPLATFORM.h"
+#include "SbPlatform.h"
 
 void acpi_create_fadt(acpi_fadt_t * fadt, acpi_facs_t * facs, void *dsdt)
 {