diff options
Diffstat (limited to 'testsuite/paraphrase/lambda.gfs')
| -rw-r--r-- | testsuite/paraphrase/lambda.gfs | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/testsuite/paraphrase/lambda.gfs b/testsuite/paraphrase/lambda.gfs deleted file mode 100644 index 54b0708cb..000000000 --- a/testsuite/paraphrase/lambda.gfs +++ /dev/null @@ -1,9 +0,0 @@ -i testsuite/paraphrase/lambda.gf
-
-pt -compute f1
-pt -compute f2
-
-pt -compute d D1
-pt -compute d D2
-pt -compute d D1 1
-pt -compute d D2 1
|