summaryrefslogtreecommitdiff
path: root/src/tools/wast2json.cc
diff options
context:
space:
mode:
Diffstat (limited to 'src/tools/wast2json.cc')
-rw-r--r--src/tools/wast2json.cc7
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;