Remove extra empty line

diff --git a/bus/usb/ohci.c b/bus/usb/ohci.c
index 956a27292e321171b2382cdb447e3dcc1595467c..47cca7ce46edceae911b89bba388d4e6632831d6 100644 (file)
--- a/bus/usb/ohci.c
+++ b/bus/usb/ohci.c
@@ -222,7 +222,6 @@ grub_ohci_pci_iter (grub_pci_device_t dev,
   if ((revision & 0xFF) != 0x10)
     goto fail;
 
-
   {
     grub_uint32_t control;
     /* Check SMM/BIOS ownership of OHCI (SMM = USB Legacy Support driver for BIOS) */