|
From: <sv...@va...> - 2015-09-30 20:34:40
|
Author: florian
Date: Wed Sep 30 21:34:32 2015
New Revision: 15693
Log:
Remove an unneeded header file. Spotted by Matthias Schwarzott.
Modified:
trunk/coregrind/m_dispatch/dispatch-ppc32-linux.S
Modified: trunk/coregrind/m_dispatch/dispatch-ppc32-linux.S
==============================================================================
--- trunk/coregrind/m_dispatch/dispatch-ppc32-linux.S (original)
+++ trunk/coregrind/m_dispatch/dispatch-ppc32-linux.S Wed Sep 30 21:34:32 2015
@@ -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 */
|