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