diff options
| -rw-r--r-- | src/wasm-s-parser.h | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/wasm-s-parser.h b/src/wasm-s-parser.h index fe84b0098..fb72d5232 100644 --- a/src/wasm-s-parser.h +++ b/src/wasm-s-parser.h @@ -144,7 +144,14 @@ private: } void skipWhitespace() { - while (isspace(input[0])) input++; + while (1) { + while (isspace(input[0])) input++; + if (input[0] == ';' && input[1] == ';') { + while (input[0] != '\n') input++; + } else { + return; + } + } } Element* parseString() { |