[PATCH] remove unused attribute from grub_biosdisk_iterate pull argument

[Andrey Borzenkov]

It is not unused anymore.

Signed-off-by: Andrey Borzenkov <address@hidden>

---
 grub-core/disk/i386/pc/biosdisk.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/grub-core/disk/i386/pc/biosdisk.c 
b/grub-core/disk/i386/pc/biosdisk.c
index 7c8dca3..5e6d060 100644
--- a/grub-core/disk/i386/pc/biosdisk.c
+++ b/grub-core/disk/i386/pc/biosdisk.c
@@ -287,7 +287,7 @@ grub_biosdisk_call_hook (grub_disk_dev_iterate_hook_t hook, 
void *hook_data,
 
 static int
 grub_biosdisk_iterate (grub_disk_dev_iterate_hook_t hook, void *hook_data,
-                      grub_disk_pull_t pull __attribute__ ((unused)))
+                      grub_disk_pull_t pull)
 {
   int num_floppies;
   int drive;
-- 
tg: (30313bb..) u/biosdisk_pull_unused (depends on: master)