[PATCH] Make StdVectorPrinter in printers.py compatible with ddd

[Hans Erickson]

The current version of to_string in StdVectorPrinter uses an embedded
comma, which messes up the parsing done by ddd, and maybe other gdb
front-ends as well.  This patch changes the format so that ddd can
parse it.

- Hans Erickson
  hans.p.erickson@gmail.com
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ddd-pretty-print.patch
Type: text/x-patch
Size: 1239 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20110324/3657f495/attachment.bin>