Remove an unneeded header file. Spotted by Matthias Schwarzott.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15693

diff --git a/coregrind/m_dispatch/dispatch-ppc32-linux.S b/coregrind/m_dispatch/dispatch-ppc32-linux.S
index 0c9374f31d780e85892ebc476fa84ef6046e44fd..2304b85cbea42393354d07372957942f5692b459 100644 (file)
--- a/coregrind/m_dispatch/dispatch-ppc32-linux.S
+++ b/coregrind/m_dispatch/dispatch-ppc32-linux.S
@@ -32,7 +32,6 @@
 
 #if defined(VGP_ppc32_linux)
 
-#include "config.h"
 #include "pub_core_dispatch_asm.h"
 #include "pub_core_transtab_asm.h"
 #include "libvex_guest_offsets.h"      /* for OFFSET_ppc32_CIA */