Fix name of main_type field type in pretty printer
authorHannes Domani <ssbssa@yahoo.de>
Fri, 18 Dec 2020 17:35:31 +0000 (18:35 +0100)
committerHannes Domani <ssbssa@yahoo.de>
Fri, 18 Dec 2020 21:06:01 +0000 (22:06 +0100)
commite51765f93220525fc3976c161cf5003e91e9d0ea
treed77c8c864a4782728ed3401ce16764a2e6ac5061
parente84604595250f89a528cc422eed110c294c94a02
Fix name of main_type field type in pretty printer

It was renamed from type to m_type.

gdb/ChangeLog:

2020-12-18  Hannes Domani  <ssbssa@yahoo.de>

* gdb-gdb.py.in: Fix main_type field name.
gdb/ChangeLog
gdb/gdb-gdb.py.in