This is a general cleanup patch

[coreboot.git] / src / devices / root_device.c

diff --git a/src/devices/root_device.c b/src/devices/root_device.c
index b8d56b646b46b3582ad09257dbf8a9c0682caa56..09582fccf252f3e87a4d667c411e333d5afcec29 100644 (file)
--- a/src/devices/root_device.c
+++ b/src/devices/root_device.c
@@ -25,7 +25,7 @@
 #include <console/console.h>
 #include <device/device.h>
 #include <device/pci.h>
-#include <part/hard_reset.h>
+#include <reset.h>
 
 /** 
  * Read the resources for the root device,