diff options
Diffstat (limited to 'src/tools/wast2json.cc')
| -rw-r--r-- | src/tools/wast2json.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/wast2json.cc b/src/tools/wast2json.cc index 5f5d211f..d48dcb1f 100644 --- a/src/tools/wast2json.cc +++ b/src/tools/wast2json.cc @@ -120,6 +120,7 @@ int ProgramMain(int argc, char** argv) { std::string module_filename_noext = StripExtension(s_outfile ? s_outfile : s_infile).to_string(); + s_write_binary_options.features = s_features; result = WriteBinarySpecScript( &json_stream, script.get(), s_infile, module_filename_noext, s_write_binary_options, &module_streams, s_log_stream.get()); |