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 80e414a..e7ef5c3 100644 --- a/gdb/reverse.c +++ b/gdb/reverse.c @@ -201,7 +201,7 @@ delete_all_bookmarks (void) } static void -delete_bookmark_command (char *args, int from_tty) +delete_bookmark_command (const char *args, int from_tty) { if (bookmark_chain == NULL) { |