Regenerate gdbarch.h
authorPedro Alves <palves@redhat.com>
Fri, 31 Aug 2018 17:55:59 +0000 (18:55 +0100)
committerPedro Alves <palves@redhat.com>
Fri, 31 Aug 2018 17:56:10 +0000 (18:56 +0100)
commit0c8885885ab1d62971bbae22d4b5e335c31b19c9
treea099c3f472dd30dea3ecb4ecc84ca603ab6f688d
parent7ea65f08fa1b8279b65133a958de02fe84767eb9
Regenerate gdbarch.h

The previous commit included a stale gdbarch.h from an earlier version
of that patch by mistake.

gdb/ChangeLog:
2018-08-31  Pedro Alves  <palves@redhat.com>

* gdbarch.h: Regenerate.
gdb/ChangeLog
gdb/gdbarch.h