diff options
Diffstat (limited to 'util/vgabios/device.c')
| -rw-r--r-- | util/vgabios/device.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/util/vgabios/device.c b/util/vgabios/device.c index d130314d37..a129cbf1ce 100644 --- a/util/vgabios/device.c +++ b/util/vgabios/device.c @@ -11,7 +11,6 @@ #include <device/device.h> #include <device/pci.h> #include <device/pci_ops.h> -#include <device/resource.h> /* the device we are working with... */ biosemu_device_t bios_device; |