Removed srg0006, it was a duplicate of srg0002

This commit is contained in:
bringert
2007-03-25 16:34:11 +00:00
parent 4a604934e9
commit 935b60f977

View File

@@ -1,10 +0,0 @@
-- A grammar with a cycle caused by an empty category.
cat S; E;
fun f : E -> S -> S;
fun g : S ;
fun e : E ;
lin f e s = { s = e.s ++ s.s } ;
lin g = { s = "s" } ;
lin e = { s = [] } ;