summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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