diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-12-07 14:30:52 -1000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-12-07 14:30:52 -1000 |
| commit | 6c4f6d7022ebdd640f2a8e4df8c4885774b9b184 (patch) | |
| tree | 0f32dc0c06e3465df77d1a8b58e12df37a8548e4 /src/wasm-binary.h | |
| parent | 76ddda73d630d50839c2eef5e86a96e16625b6ed (diff) | |
| download | binaryen-6c4f6d7022ebdd640f2a8e4df8c4885774b9b184.tar.gz binaryen-6c4f6d7022ebdd640f2a8e4df8c4885774b9b184.tar.bz2 binaryen-6c4f6d7022ebdd640f2a8e4df8c4885774b9b184.zip | |
ignore unknown user sections, fixes #857 (#858)
Diffstat (limited to 'src/wasm-binary.h')
| -rw-r--r-- | src/wasm-binary.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/wasm-binary.h b/src/wasm-binary.h index 6ec55f757..1edd3fa12 100644 --- a/src/wasm-binary.h +++ b/src/wasm-binary.h @@ -638,7 +638,7 @@ public: WasmBinaryBuilder(Module& wasm, std::vector<char>& input, bool debug) : wasm(wasm), allocator(wasm.allocator), input(input), debug(debug) {} void read(); - bool readUserSection(); + void readUserSection(); bool more() { return pos < input.size();} uint8_t getInt8(); |