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