diff options
| -rw-r--r-- | src/wasm-s-parser.h | 2 | ||||
| -rw-r--r-- | src/wasm.h | 3 |
2 files changed, 3 insertions, 2 deletions
diff --git a/src/wasm-s-parser.h b/src/wasm-s-parser.h index 415936c0b..19c532d1d 100644 --- a/src/wasm-s-parser.h +++ b/src/wasm-s-parser.h @@ -622,7 +622,7 @@ private: while (i < s.size()) { Element& curr = *s[i]; assert(curr[0]->str() == SEGMENT); - + i++; } } diff --git a/src/wasm.h b/src/wasm.h index 8b2f9ad94..b9115a51a 100644 --- a/src/wasm.h +++ b/src/wasm.h @@ -828,7 +828,8 @@ public: printOpening(o, "module", true); incIndent(o, indent); doIndent(o, indent); - printOpening(o, "memory") << " " << module.memory.initial << " " << module.memory.max; + printOpening(o, "memory") << " " << module.memory.initial; + if (module.memory.max) o << " " << module.memory.max; for (auto segment : module.memory.segments) { o << " (segment " << segment.offset << " \"" << segment.data << "\")"; } |