diff options
| -rw-r--r-- | src/wasm.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/wasm.h b/src/wasm.h index d272f2037..8fa9c6bda 100644 --- a/src/wasm.h +++ b/src/wasm.h @@ -449,11 +449,12 @@ public: incIndent(o, indent); printFullLine(o, indent, value); doIndent(o, indent) << "(table"; - assert(default_.is()); for (auto& t : targets) { o << " (case " << (t.is() ? t : default_) << ")"; } - o << ") (case " << default_ << ")\n"; + o << ")"; + if (default_.is()) o << " (case " << default_ << ")"; + o << "\n"; for (auto& c : cases) { doIndent(o, indent); printMinorOpening(o, "case ") << c.name; |