[PATCH] libstdc++: Fix num_children of the map pretty-printers

[Tom Tromey]

>>>>> "David" == david faure <david.faure@kdab.com> writes:

David> From: David Faure <david.faure@kdab.com>
David> StdMapPrinter and Tr1UnorderedMapPrinter yield a separate child for the
David> key and for the value of every element, as their 'map' display hint
David> requires, but their num_children methods return the number of elements,
David> i.e. half of what children() produces.

FWIW this patch looks good to me.

Tom