Do not output the partitioner when pretty-printing Vector objects.

diff --git a/contrib/utilities/dotgdbinit.py b/contrib/utilities/dotgdbinit.py
index 9dba301384cba263926392680e066138fd393eaa..4bcecd1247579c74b5a6a6e7bbd4480760f9b47a 100644 (file)
--- a/contrib/utilities/dotgdbinit.py
+++ b/contrib/utilities/dotgdbinit.py
@@ -130,14 +130,10 @@ class VectorPrinter(object):
         self.begin = gdb.parse_and_eval(eval_string);
         self.length = int(self.end - self.begin )
 
-    def children(self):
-        return (("values", self.val['values']),
-                ("thread_loop_partitioner",
-                 self.val['thread_loop_partitioner']))
-
     def to_string(self):
-        return "Vector<{}>({})".format(self.val.type.template_argument(0),
-                                       self.length)
+        return ("Vector<{}>({})".format(self.val.type.template_argument(0),
+                                        self.length) +
+                build_output_string(['values'], self.val))
 
 
 class QuadraturePrinter(object):