diff --git a/plugins/core.c b/plugins/core.c
index 9912f2cfdbb2a76fd9e2d2be1e5ebbfe2b81966c..3c4e26c7ed69a1ef6f80d5e860951878eccc2f05 100644
--- a/plugins/core.c
+++ b/plugins/core.c
@@ -25,7 +25,6 @@
 
 #include "exec/exec-all.h"
 #include "exec/tb-flush.h"
-#include "exec/helper-proto.h"
 #include "tcg/tcg.h"
 #include "tcg/tcg-op.h"
 #include "plugin.h"