checkpoint

[sbp.git] / tests / meta.g

diff --git a/tests/meta.g b/tests/meta.g
index 7daac30..03bd717 100644 (file)
--- a/tests/meta.g
+++ b/tests/meta.g
@@ -8,8 +8,7 @@ alternatives  ::=  equiAlt   +/ (ws ">" ws)
 equiAlt       ::=  conjuncts +/ (ws "|" ws)
 
 sequence    ::= e */ (w**)
-              > es ws ^"/" e
-es          ::= e */ (w**)
+              > e */ (w**) ws ^"/" e
 
 ss ::= es => "seq" | es ^"/" e /ws