revert changes to kern/main.c

diff --git a/kern/main.c b/kern/main.c
index 31dc0a36aaffb568dfc2a76456d9d1d1d1a5a9da..9215d55e767f18238252c48126428303a7cf9ecd 100644 (file)
--- a/kern/main.c
+++ b/kern/main.c
@@ -48,7 +48,6 @@ grub_module_iterate (int (*hook) (struct grub_module_header *header))
        header < (struct grub_module_header *) (modbase + modinfo->size);
        header = (struct grub_module_header *) ((char *) header + header->size))
     {
-      grub_printf ("%p:", header);
       if (hook (header))
        break;
     }