From 560874f4dff528e676d6686d6ece366d4e4c6141 Mon Sep 17 00:00:00 2001 From: adam Date: Tue, 13 Dec 2005 03:24:33 -0500 Subject: [PATCH] checkpoint darcs-hash:20051213082433-5007d-6761623cf7b66be92bbbde757784a6d256b3b9d0.gz --- tests/meta.g | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/tests/meta.g b/tests/meta.g index d20233e..5b69051 100644 --- a/tests/meta.g +++ b/tests/meta.g @@ -12,10 +12,11 @@ sequence ::= Es Es ::= e+ es ::= e %% ws +ss ::= es | es ^"/" e /ws conjuncts ::= rewrite - | rewrite ^"&" es /ws - | rewrite ^"&~" es /ws + | rewrite ^"&" e%%ws /ws + | rewrite ^"&~" e%%ws /ws rewrite ::= sequence /ws => "rewrite" | sequence ^"=>" word /ws -- 1.7.10.4