* gdb.texinfo (Writing a Pretty-Printer): Use append method, not
authorTom Tromey <tromey@redhat.com>
Thu, 1 Dec 2011 20:27:28 +0000 (20:27 +0000)
committerTom Tromey <tromey@redhat.com>
Thu, 1 Dec 2011 20:27:28 +0000 (20:27 +0000)
add.

gdb/doc/ChangeLog
gdb/doc/gdb.texinfo

index 82eefc3..e6cd76a 100644 (file)
@@ -1,3 +1,8 @@
+2011-12-01  Tom Tromey  <tromey@redhat.com>
+
+       * gdb.texinfo (Writing a Pretty-Printer): Use append method, not
+       add.
+
 2011-11-22  Tom Tromey  <tromey@redhat.com>
 
        * gdb.texinfo (GDB/MI Async Records): Document new *stopped
index 3321a77..86333ee 100644 (file)
@@ -22591,7 +22591,7 @@ this code might appear in @code{gdb.libstdcxx.v6}:
 
 @smallexample
 def register_printers(objfile):
-    objfile.pretty_printers.add(str_lookup_function)
+    objfile.pretty_printers.append(str_lookup_function)
 @end smallexample
 
 @noindent