From ecc9cb452e71e22b70e9f29ad03cd7789f052251 Mon Sep 17 00:00:00 2001
From: Alon Zakai <alonzakai@gmail.com>
Date: Mon, 16 Nov 2015 16:10:57 -0800
Subject: fix switch printing

---
 src/wasm.h | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'src')

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;
-- 
cgit v1.2.3