diff options
| -rw-r--r-- | testsuite/paraphrase/test.gfs.gold | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/testsuite/paraphrase/test.gfs.gold b/testsuite/paraphrase/test.gfs.gold index 7817d2e67..82b443d48 100644 --- a/testsuite/paraphrase/test.gfs.gold +++ b/testsuite/paraphrase/test.gfs.gold @@ -5,7 +5,3 @@ Succ (Succ (Succ Zero)) Succ (Succ Zero)
unknown variable two
-Succ Zero
-
-Succ (Succ (Succ Zero))
-
|