1 files changed, 0 insertions, 1 deletions
diff --git a/vm_dump.c b/vm_dump.c
index bfb58dd4d5..1c1a36eca9 100644
--- a/vm_dump.c
+++ b/vm_dump.c
@@ -13,7 +13,6 @@
 #include "addr2line.h"
 #include "vm_core.h"
 #include "internal.h"
-#include "probes.h"
 
 /* see vm_insnhelper.h for the values */
 #ifndef VMDEBUG