From db7344562a20ef098b1f5dc66e8325e55711032c Mon Sep 17 00:00:00 2001 From: adam Date: Mon, 30 Jan 2006 00:55:15 -0500 Subject: [PATCH] checkpoint darcs-hash:20060130055515-5007d-ef419915a5f0335c25aedd3bb6d85cf8a401fde6.gz --- tests/meta.g | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/meta.g b/tests/meta.g index 43f539a..dd222e0 100644 --- a/tests/meta.g +++ b/tests/meta.g @@ -12,7 +12,7 @@ Elements = e*/ws PreSequence = Elements => "ps" | PreSequence !wp ^"/" !ws e | PreSequence ^"->" e /ws -// | (Quoted|word) ^"::" PreSequence /ws + | (Quoted|word) ^"::" PreSequence /ws | PreSequence ^"=>" ("[]"|"()"|word|Quoted) /ws Sequence = PreSequence => "psx" -- 1.7.10.4