diff options
author | Ben Smith <binjimin@gmail.com> | 2019-01-23 15:12:42 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-01-23 15:12:42 -0800 |
commit | 12e8de7f5b3a5be01e3e6347c64168ea34b85a38 (patch) | |
tree | 65d9e0c3f81620a2931f48de214f14d5cf97eab1 /src/tools/wast2json.cc | |
parent | c37eef7de4df2b4d523b8b1daecf5207a0da4ec2 (diff) | |
download | wabt-12e8de7f5b3a5be01e3e6347c64168ea34b85a38.tar.gz wabt-12e8de7f5b3a5be01e3e6347c64168ea34b85a38.tar.bz2 wabt-12e8de7f5b3a5be01e3e6347c64168ea34b85a38.zip |
Implement parsing and writing of DataCount section (#998)
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()); |