From d33a99799df538c4d68346c241d93d17cfecfb43 Mon Sep 17 00:00:00 2001
From: Leo Arias <yo@elopio.net>
Date: Sun, 9 Sep 2018 23:51:51 -0600
Subject: On a yul switch, at least one case is required when there is no
 default statement

---
 docs/yul.rst | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'docs/yul.rst')

diff --git a/docs/yul.rst b/docs/yul.rst
index 87fd95eb..e010a708 100644
--- a/docs/yul.rst
+++ b/docs/yul.rst
@@ -99,9 +99,11 @@ Grammar::
     If =
         'if' Expression Block
     Switch =
-        'switch' Expression Case* ( 'default' Block )?
+        'switch' Expression ( Case+ Default? | Default )
     Case =
         'case' Literal Block
+    Default =
+        'default' Block
     ForLoop =
         'for' Block Expression Block Block
     BreakContinue =
-- 
cgit