From: David Wells <wellsd2@rpi.edu>
Date: Sun, 12 Nov 2017 20:52:15 +0000 (-0500)
Subject: Update the GDB pretty-printer.
X-Git-Tag: v9.0.0-rc1~787^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0189a5a08ecc3720f1bea7d9d6cc8a4c46eb36b0;p=dealii.git

Update the GDB pretty-printer.

The data array variable was renamed from 'val' to 'values' in 2faae204c26.
---

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):