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)) -