Warning fixes

diff --git a/normal/main.c b/normal/main.c
index 739ad3763e6b9cfc77ac2b872f31e988ab39f34c..7a5e3ee8e037bc187cddd9f1afb9513fb5ecda32 100644 (file)
--- a/normal/main.c
+++ b/normal/main.c
@@ -433,8 +433,6 @@ grub_normal_init_page (struct grub_term_output *term)
   grub_free (unicode_msg);
 }
 
-static int reader_nested;
-
 static char *
 read_lists (struct grub_env_var *var __attribute__ ((unused)),
            const char *val)