diff options
Diffstat (limited to 'gdb/reverse.c')
| -rw-r--r-- | gdb/reverse.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/reverse.c b/gdb/reverse.c index 28410a8..7362f32 100644 --- a/gdb/reverse.c +++ b/gdb/reverse.c @@ -305,7 +305,7 @@ bookmark_1 (int bnum) /* Implement "info bookmarks" command. */ static void -info_bookmarks_command (char *args, int from_tty) +info_bookmarks_command (const char *args, int from_tty) { if (!bookmark_chain) printf_filtered (_("No bookmarks.\n")); |