From ba01065d943324012ce347b80044dcf825f21845 Mon Sep 17 00:00:00 2001 From: adam Date: Wed, 14 Dec 2005 02:33:26 -0500 Subject: [PATCH] checkpoint darcs-hash:20051214073326-5007d-e0dd6953a20008ff166ee7a6d840782a1f7062e7.gz --- tests/meta.g | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/meta.g b/tests/meta.g index 406b09b..4fed049 100644 --- a/tests/meta.g +++ b/tests/meta.g @@ -11,7 +11,7 @@ conjuncts ::= rewrite | rewrite ^"&" e*/ws /ws | rewrite ^"&~" e*/ws /ws -sequence ::= e */ (w**) (ws "/" e)? => "seq" +sequence ::= e*/ws (ws "/" e)? => "seq" rewrite ::= sequence /ws => "rewrite" | sequence ^"=>" (word|quoted) /ws -- 1.7.10.4