commit 69a305eff4bd5f642c7be596e3511f7400f737f7
author Philippe Mathieu-Daudé <philmd@linaro.org> Sun Jun 11 10:58:21 2023 +0200
committer Richard Henderson <richard.henderson@linaro.org> Tue Jun 20 10:01:30 2023 +0200
tree f2d1e327f4eda3836a5e0e8b994b0a4d8c0be22f
parent de6cd7599b518f0c832cc85980196ec02c129a86

plugins: Remove unused 'exec/helper-proto.h' header

Signed-off-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Message-Id: <20230611085846.21415-2-philmd@linaro.org>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>

plugins/core.c

diff --git a/plugins/core.c b/plugins/core.c
index 9912f2c..3c4e26c 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"