diff options
Diffstat (limited to 'src/wasm.h')
-rw-r--r-- | src/wasm.h | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/wasm.h b/src/wasm.h index 2a7a9b804..68bee7e5a 100644 --- a/src/wasm.h +++ b/src/wasm.h @@ -338,11 +338,12 @@ public: std::ostream& doPrint(std::ostream &o, unsigned indent) { printOpening(o, "loop"); + if (out.is()) { + o << ' ' << out; + assert(in.is()); // if just one is printed, it must be the in + } if (in.is()) { o << ' ' << in; - if (out.is()) { - o << ' ' << out; - } } incIndent(o, indent); printFullLine(o, indent, body); @@ -405,7 +406,7 @@ public: } std::ostream& doPrint(std::ostream &o, unsigned indent) { - printOpening(o, "switch "); + printOpening(o, "tableswitch "); if (name.is()) o << name; incIndent(o, indent); printFullLine(o, indent, value); |