[PATCH 02/14] Fix typo in pretty-printer example

[Eli Zaretskii]

> From: Tom Tromey <tom@tromey.com>
> Cc: Tom Tromey <tom@tromey.com>
> Date: Sat,  8 Sep 2018 14:14:05 -0600
> 
> 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-08  Tom Tromey  <tom@tromey.com>
> 
> 	PR python/23487:
> 	* gdb.texinfo (Pretty-Printer Commands): Fix typo in example.

Thanks, this is OK.