1 files changed, 0 insertions, 9 deletions
diff --git a/test/srg/srg0002/srg0002.gf b/test/srg/srg0002/srg0002.gf
deleted file mode 100644
index fc87b893f..000000000
--- a/test/srg/srg0002/srg0002.gf
+++ /dev/null
@@ -1,9 +0,0 @@
-cat S; E; 
-
-fun s : S ;
-fun es : E -> S -> S ;
-fun e : E ;
-
-lin s  = { s = "s" } ;
-lin es e s = { s = e.s ++ s.s } ;
-lin e = { s = [] } ;