checkpoint
[sbp.git] / tests / meta.g
index 9193c51..17bff83 100644 (file)
@@ -9,7 +9,6 @@ equiAlt       ::=  conjuncts $$ (ws "|" ws)          => "alternatives"
 
 sequence    ::= es
               > es ws ^"/" e
 
 sequence    ::= es
               > es ws ^"/" e
-Es          ::= e %% (w**)
 es          ::= e %% (w**)
 
 ss ::= es | es ^"/" e /ws
 es          ::= e %% (w**)
 
 ss ::= es | es ^"/" e /ws