From 8949cb878d5daae969db6326e1e1323bfa3ad9d4 Mon Sep 17 00:00:00 2001
From: Tom Tromey <tom@tromey.com>
Date: Tue, 12 Sep 2017 21:09:47 -0600
Subject: [PATCH] Constify delete_bookmark_command

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

	* reverse.c (delete_bookmark_command): Constify.
---
 gdb/ChangeLog | 4 ++++
 gdb/reverse.c | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 37a6635db7..b3a6611744 100644
--- 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 80e414ab76..e7ef5c3792 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)
     {