From 0189a5a08ecc3720f1bea7d9d6cc8a4c46eb36b0 Mon Sep 17 00:00:00 2001 From: David Wells Date: Sun, 12 Nov 2017 15:52:15 -0500 Subject: [PATCH] Update the GDB pretty-printer. The data array variable was renamed from 'val' to 'values' in 2faae204c26. --- contrib/utilities/dotgdbinit.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/contrib/utilities/dotgdbinit.py b/contrib/utilities/dotgdbinit.py index ff0a049663..de8201d40b 100644 --- a/contrib/utilities/dotgdbinit.py +++ b/contrib/utilities/dotgdbinit.py @@ -25,7 +25,7 @@ # slightly older versions of GDB (the Python interface was added in 7.0, # released in 2009). # -# Authors: Wolfgang Bangerth, 2015, David Wells, 2015 +# Authors: Wolfgang Bangerth, 2015, David Wells, 2015 - 2017 # set print pretty 1 @@ -99,7 +99,7 @@ class VectorPrinter(object): # The first entry (see the "Pretty Printing API" documentation of GDB) # in the tuple should be a name for the child, which should be nothing # (an empty string) here. - return (("", (self.val['val'] + count).dereference()) + return (("", (self.val['values'] + count).dereference()) for count in range(int(self.val['vec_size']))) def to_string(self): -- 2.39.5