From: Florian Krohm <florian@eich-krohm.de>
Date: Wed, 30 Sep 2015 20:34:32 +0000 (+0000)
Subject: Remove an unneeded header file. Spotted by Matthias Schwarzott.
X-Git-Tag: svn/VALGRIND_3_12_0~330
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fd4b1a19c16450f3f1160d5f55719a0d73439944;p=thirdparty%2Fvalgrind.git

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 0c9374f31d..2304b85cbe 100644
--- 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 */