1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/top.c b/gdb/top.c
index 14abfec..8ebdc07 100644
--- a/gdb/top.c
+++ b/gdb/top.c
@@ -1677,7 +1677,7 @@ input_interactive_p (struct ui *ui)
 }
 
 static void
-dont_repeat_command (char *ignored, int from_tty)
+dont_repeat_command (const char *ignored, int from_tty)
 {
   /* Can't call dont_repeat here because we're not necessarily reading
      from stdin.  */