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.

diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index cf427fffbd2d0c5f23920248cbffaf5e9e92f655..f266f75b59148ccb01774f3c310de73340dd13f9 100644 (file)
--- a/gdb/doc/ChangeLog
+++ b/gdb/doc/ChangeLog
@@ -1,3 +1,8 @@
+2018-09-10  Tom Tromey  <tom@tromey.com>
+
+       PR python/23487:
+       * gdb.texinfo (Pretty-Printer Commands): Fix typo in example.
+
 2018-09-10  Tom Tromey  <tom@tromey.com>
 
        PR python/16033:

diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index 8ebbe5fecb606e8b07bb9ddf2bac05683071ba04..f479feffe3280fb7c0541cb490a0b390a1c0c9fb 100644 (file)
--- 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