From 10dbc3c65262644a85619e55f33cac047123e59a Mon Sep 17 00:00:00 2001 From: bringert Date: Fri, 23 Mar 2007 18:10:21 +0000 Subject: [PATCH] Uncommented troublesome rules in srg0002 --- test/srg/srg0002/empty.gf | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/test/srg/srg0002/empty.gf b/test/srg/srg0002/empty.gf index 397ec37e5..19a9701ca 100644 --- a/test/srg/srg0002/empty.gf +++ b/test/srg/srg0002/empty.gf @@ -1,13 +1,13 @@ cat S; X; E; fun s : S ; ---fun es : E -> S -> S ; +fun es : E -> S -> S ; fun sx : S -> X -> S ; fun x : X ; fun e : E ; lin s = { s = "s" } ; ---lin es e s = { s = e.s ++ s.s } ; +lin es e s = { s = e.s ++ s.s } ; lin sx s x = { s = s.s ++ x.s } ; lin x = { s = "x" } ; lin e = { s = "e" } ;