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 37a6635db7672f4b713265139061c3ac6746114b..b3a66117441b2ff5dab265e9df69d02c300fe779 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -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)

diff --git a/gdb/reverse.c b/gdb/reverse.c
index 80e414ab763f5797bd0a8aabe01186b67ffec3a9..e7ef5c379274e96aa3aa8c10208bf8a4e7696b46 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)
     {