Remove an unnecessary #include.

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

diff --git a/coregrind/m_machine.c b/coregrind/m_machine.c
index 85a8099f717e3d243904011cacb7ae4801c6fe12..0429bfe6f9d6ed2c42023f64ad9f79ae119ec355 100644 (file)
--- a/coregrind/m_machine.c
+++ b/coregrind/m_machine.c
@@ -36,7 +36,6 @@
 #include "pub_core_machine.h"
 #include "pub_core_cpuid.h"
 #include "pub_core_libcsignal.h"   // for ppc32 messing with SIGILL and SIGFPE
-#include "pub_core_debuglog.h"
 
 
 #define INSTR_PTR(regs)    ((regs).vex.VG_INSTR_PTR)