Fix typo in pretty-printer example
authorTom Tromey <tom@tromey.com>
Sat, 8 Sep 2018 15:03:29 +0000 (09:03 -0600)
committerTom Tromey <tom@tromey.com>
Mon, 10 Sep 2018 13:44:23 +0000 (07:44 -0600)
commit088a96da059ce14fe1dff369873b1dcf7151e29a
treeaab02cfdc7390efea39ac3d9eca2d0523539203f
parent22eb9e92ea9b5fd1ed83cfc093d7da6d18643149
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  <tom@tromey.com>

PR python/23487:
* gdb.texinfo (Pretty-Printer Commands): Fix typo in example.
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo