diff options
| author | Sam Clegg <sbc@chromium.org> | 2017-05-23 09:09:16 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-23 09:09:16 -0700 |
| commit | 9a0e5a27ada9e19c24280f1faa1887c2847353e2 (patch) | |
| tree | 71be5dd4f126bb82fe51833f16e49362ce5ef7e9 /src/binary-reader-logging.cc | |
| parent | 694f33237cc40e3460cc2d9709b37c367232f76d (diff) | |
| download | wabt-9a0e5a27ada9e19c24280f1faa1887c2847353e2.tar.gz wabt-9a0e5a27ada9e19c24280f1faa1887c2847353e2.tar.bz2 wabt-9a0e5a27ada9e19c24280f1faa1887c2847353e2.zip | |
Don't include leading $ in wasm binary name section (#449)
The leading $ is more part of the text format. For now
we strip it when writing the names section and add it back
in when reading the binary.
In the long run it might make more sense to add and remove
it when reading and writing the text format.
Diffstat (limited to 'src/binary-reader-logging.cc')
0 files changed, 0 insertions, 0 deletions