diff options
| author | Tom Tromey <tom@tromey.com> | 2017-09-12 21:09:47 -0600 |
|---|---|---|
| committer | Tom Tromey <tom@tromey.com> | 2017-09-27 08:44:54 -0600 |
| commit | 8949cb878d5daae969db6326e1e1323bfa3ad9d4 (patch) | |
| tree | eaff7be308a9e051d473b10127d0bbc753807d90 /gdb/reverse.c | |
| parent | ac88e2de8314efd9aaa9132c5643ecbf715de508 (diff) | |
| download | gdb-8949cb878d5daae969db6326e1e1323bfa3ad9d4.zip gdb-8949cb878d5daae969db6326e1e1323bfa3ad9d4.tar.gz gdb-8949cb878d5daae969db6326e1e1323bfa3ad9d4.tar.bz2 | |
Constify delete_bookmark_command
gdb/ChangeLog
2017-09-27 Tom Tromey <tom@tromey.com>
* reverse.c (delete_bookmark_command): Constify.
Diffstat (limited to 'gdb/reverse.c')
| -rw-r--r-- | gdb/reverse.c | 2 |
1 files changed, 1 insertions, 1 deletions
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) { |