diff options
| author | krasimir <krasimir@chalmers.se> | 2009-05-22 22:14:57 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-05-22 22:14:57 +0000 |
| commit | 7a204376c91ea9647ec4418cfcd3ed0dd7891fae (patch) | |
| tree | 44ffefe2f1bcef6617461a3a5039ec909be4560c | |
| parent | a7900bfbc8e95053b161c6c1d50ada9c7859029a (diff) | |
fix in testcase testsuite\paraphrase
| -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))
-
|