checkpoint

[sbp.git] / tests / meta.g

diff --git a/tests/meta.g b/tests/meta.g
index 092cb9e..17bff83 100644 (file)
--- a/tests/meta.g
+++ b/tests/meta.g
@@ -8,8 +8,7 @@ alternatives  ::=  equiAlt   $$ (ws ">" ws)
 equiAlt       ::=  conjuncts $$ (ws "|" ws)          => "alternatives"
 
 sequence    ::= es
-              > Es ws ^"/" e
-Es          ::= e %% (w**)
+              > es ws ^"/" e
 es          ::= e %% (w**)
 
 ss ::= es | es ^"/" e /ws