diff options
Diffstat (limited to 'src/wasm.h')
-rw-r--r-- | src/wasm.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/wasm.h b/src/wasm.h index 6eee9d8a2..38a08a27e 100644 --- a/src/wasm.h +++ b/src/wasm.h @@ -377,7 +377,8 @@ public: } std::ostream& doPrint(std::ostream &o, unsigned indent) { - printOpening(o, "switch ") << name; + printOpening(o, "switch "); + if (name.is()) o << name; incIndent(o, indent); printFullLine(o, indent, value); doIndent(o, indent) << "[ "; |