1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/f/top.c b/gcc/f/top.c
index 17e4139..fe5bc40 100644
--- a/gcc/f/top.c
+++ b/gcc/f/top.c
@@ -162,7 +162,7 @@ ffe_is_digit_string_ (char *s)
 
 int
 ffe_decode_option (argc, argv)
-     int argc;
+     int argc ATTRIBUTE_UNUSED;
      char **argv;
 {
   char *opt = argv[0];