diff --git a/coregrind/m_machine.c b/coregrind/m_machine.c
index 85a8099f7..0429bfe6f 100644
--- 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)