From 65a0e50a721e1c9ef6c5f38c29229e476733748b Mon Sep 17 00:00:00 2001 From: adam Date: Tue, 13 Dec 2005 02:00:14 -0500 Subject: [PATCH] checkpoint darcs-hash:20051213070014-5007d-d58eb539d738c71839a452c2a877a4a5518599a6.gz --- tests/meta.g | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/meta.g b/tests/meta.g index fecabcf..074b9f3 100644 --- a/tests/meta.g +++ b/tests/meta.g @@ -12,7 +12,7 @@ EquiAlt ::= Conjuncts +/ "|" => "alternatives" sequence ::= Es ^"/" E /ws > Es -Es ::= E+ +es ::= E+/ws Conjuncts ::= rewrite | rewrite ^"&" sequence -- 1.7.10.4