Message ID | 20170921051023.19023-49-tom@tromey.com |
---|---|
State | New, archived |
Headers |
Commit Message
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) {