From 088a96da059ce14fe1dff369873b1dcf7151e29a Mon Sep 17 00:00:00 2001 From: Tom Tromey Date: Sat, 8 Sep 2018 09:03:29 -0600 Subject: [PATCH] Fix typo in pretty-printer example PR python/23487 points out that the "disable pretty-printer" example has a typo that makes it incorrect. This patch fixes the typo. gdb/doc/ChangeLog 2018-09-10 Tom Tromey PR python/23487: * gdb.texinfo (Pretty-Printer Commands): Fix typo in example. --- gdb/doc/ChangeLog | 5 +++++ gdb/doc/gdb.texinfo | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog index cf427fffbd2..f266f75b591 100644 --- a/gdb/doc/ChangeLog +++ b/gdb/doc/ChangeLog @@ -1,3 +1,8 @@ +2018-09-10 Tom Tromey + + PR python/23487: + * gdb.texinfo (Pretty-Printer Commands): Fix typo in example. + 2018-09-10 Tom Tromey PR python/16033: diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index 8ebbe5fecb6..f479feffe32 100644 --- a/gdb/doc/gdb.texinfo +++ b/gdb/doc/gdb.texinfo @@ -10798,7 +10798,7 @@ library2.so: bar bar1 bar2 -(gdb) disable pretty-printer library2 bar:bar1 +(gdb) disable pretty-printer library2 bar;bar1 1 printer disabled 1 of 3 printers enabled (gdb) info pretty-printer library2 -- 2.30.2