diff options
Diffstat (limited to 'testsuite/paraphrase/lambda.gfs.gold')
| -rw-r--r-- | testsuite/paraphrase/lambda.gfs.gold | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/testsuite/paraphrase/lambda.gfs.gold b/testsuite/paraphrase/lambda.gfs.gold deleted file mode 100644 index 0d8f027d6..000000000 --- a/testsuite/paraphrase/lambda.gfs.gold +++ /dev/null @@ -1,12 +0,0 @@ -\v0 -> v0
-
-1
-
-\v0 -> v0
-
-\v0 -> 2
-
-1
-
-2
-
|