Constify delete_bookmark_command

gdb/ChangeLog
2017-09-27  Tom Tromey  <tom@tromey.com>

	* reverse.c (delete_bookmark_command): Constify.
This commit is contained in:
Tom Tromey 2017-09-12 21:09:47 -06:00
parent ac88e2de83
commit 8949cb878d
2 changed files with 5 additions and 1 deletions

View File

@ -1,3 +1,7 @@
2017-09-27 Tom Tromey <tom@tromey.com>
* reverse.c (delete_bookmark_command): Constify.
2017-09-27 Tom Tromey <tom@tromey.com>
* remote.c (set_memory_packet_size)

View File

@ -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)
{