From 1c86fe0488df6c123731f51d8636be37cff583ab Mon Sep 17 00:00:00 2001 From: adam Date: Tue, 13 Dec 2005 21:45:02 -0500 Subject: [PATCH] checkpoint darcs-hash:20051214024502-5007d-3bd04d98bb18c0830972f85151e8e81008eaf8e6.gz --- tests/meta.g | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tests/meta.g b/tests/meta.g index a0585bd..3a7d2f0 100644 --- a/tests/meta.g +++ b/tests/meta.g @@ -9,13 +9,13 @@ equiAlt ::= conjuncts +/ (ws "|" ws) => "alternatives" sequence ::= es > es ws ^"/" e -es ::= e %% (w**) +es ::= e */ (w**) ss ::= es | es ^"/" e /ws conjuncts ::= rewrite - | rewrite ^"&" e%%ws /ws - | rewrite ^"&~" e%%ws /ws + | rewrite ^"&" e*/ws /ws + | rewrite ^"&~" e*/ws /ws rewrite ::= sequence /ws => "rewrite" | sequence ^"=>" word /ws -- 1.7.10.4