commit 987862ca3b53c1f8d4addeb55936da898ccb7d9c
author sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> Fri Feb 21 14:56:48 2014 +0000
committer sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> Fri Feb 21 14:56:48 2014 +0000
tree 9330f0b836d64e3c3a4cd47c5935853f96f0eb6e
parent 3690e68f7c0d113c6690dbc8d643c46e5f288fcc

Fix incorrect include, spotted by mjw.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13828 a5019735-40e9-0310-863c-91ae7b9d1cf9

coregrind/m_gdbserver/valgrind-low-arm64.c

diff --git a/coregrind/m_gdbserver/valgrind-low-arm64.c b/coregrind/m_gdbserver/valgrind-low-arm64.c
index d6173f3..853078d 100644
--- a/coregrind/m_gdbserver/valgrind-low-arm64.c
+++ b/coregrind/m_gdbserver/valgrind-low-arm64.c
@@ -27,7 +27,7 @@
 #include "regcache.h"
 
 #include "pub_core_aspacemgr.h"
-#include "pub_tool_machine.h"
+#include "pub_core_machine.h"
 #include "pub_core_threadstate.h"
 #include "pub_core_transtab.h"
 #include "pub_core_gdbserver.h"