Constify delete_bookmark_command

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

	* reverse.c (delete_bookmark_command): Constify.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 37a6635..b3a6611 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,5 +1,9 @@
 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)
        (set_memory_write_packet_size, show_memory_write_packet_size)
        (set_memory_read_packet_size, show_memory_read_packet_size)

diff --git a/gdb/reverse.c b/gdb/reverse.c
index 80e414a..e7ef5c3 100644 (file)
--- 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)
     {