-/* Copyright (C) 2019 Free Software Foundation, Inc.
+/* Copyright (C) 2019-2020 Free Software Foundation, Inc.
This file is part of GDB.
along with this program. If not, see <http://www.gnu.org/licenses/>. */
#include "gdbsupport/common-defs.h"
+
+#include "aarch32-tdep.h"
+
#include "gdbsupport/common-regcache.h"
#include "arch/aarch32.h"