diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog index 76a01759f2..8571bc9aeb 100644 --- a/gdb/doc/ChangeLog +++ b/gdb/doc/ChangeLog @@ -1,3 +1,8 @@ +2009-11-23 Tom Tromey + + PR python/10782: + * gdb.texinfo (Types In Python): Document Type.pointer. + 2009-11-23 Paul Pluzhnikov * gdb.texinfo (Machine Code): Adjust. diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index bf76aa135c..c1ccfc7826 100644 --- a/gdb/doc/gdb.texinfo +++ b/gdb/doc/gdb.texinfo @@ -19640,6 +19640,11 @@ Return a new @code{gdb.Type} object which represents a reference to this type. @end defmethod +@defmethod Type pointer +Return a new @code{gdb.Type} object which represents a pointer to this +type. +@end defmethod + @defmethod Type strip_typedefs Return a new @code{gdb.Type} that represents the real type, after removing all layers of typedefs.