1 files changed, 0 insertions, 17 deletions
diff --git a/testsuite/paraphrase/lambda.gf b/testsuite/paraphrase/lambda.gf
deleted file mode 100644
index 3476866c9..000000000
--- a/testsuite/paraphrase/lambda.gf
+++ /dev/null
@@ -1,17 +0,0 @@
-abstract lambda = {
-
-fun f1 : Int -> Int ;
-def f1 = (\x -> x) ;
-
-fun f2 : Int ;
-def f2 = f1 1 ;
-
-cat D ;
-data D1 : D ;
-     D2 : D ;
-
-fun d : D -> Int -> Int ;
-def d D1 = \x -> x ;
-    d D2 = \x -> 2 ;
-
-}
-\ No newline at end of file