diff options
| -rw-r--r-- | src/wasm.h | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/wasm.h b/src/wasm.h index 9443de4a8..d9e25783a 100644 --- a/src/wasm.h +++ b/src/wasm.h @@ -427,11 +427,12 @@ public: if (name.is()) o << name; incIndent(o, indent); printFullLine(o, indent, value); - doIndent(o, indent) << "[ "; + doIndent(o, indent) << "(table"; + assert(default_.is()); for (auto& t : targets) { - o << (t.is() ? t.str : "br-out") << ' '; + o << " (case " << (t.is() ? t : default_) << ")"; } - o << "] (default " << (default_.is() ? default_.str : "br-out") << ")\n"; + o << ") (case " << default_ << ")\n"; for (auto& c : cases) { doIndent(o, indent); printMinorOpening(o, "case ") << c.name.str; |