diff options
| author | Philippe Mathieu-Daudé <philmd@linaro.org> | 2023-06-11 10:58:21 +0200 |
|---|---|---|
| committer | Richard Henderson <richard.henderson@linaro.org> | 2023-06-20 10:01:30 +0200 |
| commit | 69a305eff4bd5f642c7be596e3511f7400f737f7 (patch) | |
| tree | f2d1e327f4eda3836a5e0e8b994b0a4d8c0be22f | |
| parent | de6cd7599b518f0c832cc85980196ec02c129a86 (diff) | |
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>
| -rw-r--r-- | plugins/core.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/plugins/core.c b/plugins/core.c index 9912f2cfdb..3c4e26c7ed 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" |