Remove two unused fields from gdbarch
authorTom Tromey <tromey@adacore.com>
Tue, 17 Jan 2023 19:45:11 +0000 (12:45 -0700)
committerTom Tromey <tromey@adacore.com>
Tue, 17 Jan 2023 19:45:11 +0000 (12:45 -0700)
commit2c01dcdb5a2de09a5b36655f1a90d9471278d8b3
treef96ccdf532d971ed87b04ea3c3cbee4cc80f7688
parentef497b741139492a40bee9132d29cb861926ca9c
Remove two unused fields from gdbarch

When I converted gdbarch to use the registry, I forgot to remove the
two fields that were used to implement the previous approach.  This
patch removes them.  Tested by rebuilding.
gdb/gdbarch.c
gdb/gdbarch.py