diff options
Diffstat (limited to 'src/tools/execution-results.h')
| -rw-r--r-- | src/tools/execution-results.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/tools/execution-results.h b/src/tools/execution-results.h index 23b565082..e5d4dab00 100644 --- a/src/tools/execution-results.h +++ b/src/tools/execution-results.h @@ -18,7 +18,6 @@ // Shared execution result checking code // -#include "ir/import-utils.h" #include "shell-interface.h" #include "wasm.h" |