FYI: remove extra quote from pretty_printers.py

[Tom Tromey]

I'm checking this in.

There was an extra quote in a doc string in the Python library.

Tom

2011-12-06  Tom Tromey  <tromey@redhat.com>

	* python/lib/gdb/command/pretty_printers.py
	(InfoPrettyPrinter.invoke1): Remove extra double quote.

Index: python/lib/gdb/command/pretty_printers.py
===================================================================
RCS file: /cvs/src/src/gdb/python/lib/gdb/command/pretty_printers.py,v
retrieving revision 1.5
diff -u -r1.5 pretty_printers.py
--- python/lib/gdb/command/pretty_printers.py	9 Aug 2011 12:45:40 -0000	1.5
+++ python/lib/gdb/command/pretty_printers.py	6 Dec 2011 17:37:50 -0000
@@ -148,7 +148,7 @@
 
     def invoke1(self, title, printer_list,
                 obj_name_to_match, object_re, name_re, subname_re):
-        """"Subroutine of invoke to simplify it."""
+        """Subroutine of invoke to simplify it."""
         if printer_list and object_re.match(obj_name_to_match):
             print title
             self.list_pretty_printers(printer_list, name_re, subname_re)