diff options
Diffstat (limited to 'src/tools/wast2json.cc')
-rw-r--r-- | src/tools/wast2json.cc | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/tools/wast2json.cc b/src/tools/wast2json.cc index c13221dd..0243775a 100644 --- a/src/tools/wast2json.cc +++ b/src/tools/wast2json.cc @@ -107,8 +107,11 @@ int ProgramMain(int argc, char** argv) { if (Succeeded(result)) { result = ResolveNamesScript(lexer.get(), script.get(), &error_handler); - if (Succeeded(result) && s_validate) - result = ValidateScript(lexer.get(), script.get(), &error_handler); + if (Succeeded(result) && s_validate) { + ValidateOptions options(s_features); + result = + ValidateScript(lexer.get(), script.get(), &error_handler, &options); + } if (Succeeded(result)) { WriteBinarySpecOptions write_binary_spec_options; |