summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorbringert <bringert@cs.chalmers.se>2007-03-25 16:34:11 +0000
committerbringert <bringert@cs.chalmers.se>2007-03-25 16:34:11 +0000
commit80ea351e5e1282399534155ae2a75e9029e0e24f (patch)
tree919974b1189047b59053365591b98c99cecfbc44
parent85072fb6b2ae8cb7e44b35286daabfd71e4811d3 (diff)
Removed srg0006, it was a duplicate of srg0002
-rw-r--r--test/srg/srg0006/srg0006.gf10
1 files changed, 0 insertions, 10 deletions
diff --git a/test/srg/srg0006/srg0006.gf b/test/srg/srg0006/srg0006.gf
deleted file mode 100644
index 9fa34ed64..000000000
--- a/test/srg/srg0006/srg0006.gf
+++ /dev/null
@@ -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 = [] } ; \ No newline at end of file