diff options
Diffstat (limited to 'src/tools/wasm-opt.cpp')
-rw-r--r-- | src/tools/wasm-opt.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/tools/wasm-opt.cpp b/src/tools/wasm-opt.cpp index 3e429a976..2f8d22580 100644 --- a/src/tools/wasm-opt.cpp +++ b/src/tools/wasm-opt.cpp @@ -303,7 +303,8 @@ int main(int argc, const char* argv[]) { } } if (translateToFuzz) { - TranslateToFuzzReader reader(wasm, options.extra["infile"]); + TranslateToFuzzReader reader( + wasm, options.extra["infile"], options.passOptions.closedWorld); if (fuzzPasses) { reader.pickPasses(options); } |