From 60b6bf5509e56a96b9498eae9b8f629b8ccc58a8 Mon Sep 17 00:00:00 2001
From: Alon Zakai <alonzakai@gmail.com>
Date: Fri, 27 Nov 2015 19:05:48 -0800
Subject: handle no default when printing switch

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

(limited to 'src')

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