fix in testcase testsuite\paraphrase

This commit is contained in:
krasimir
2009-05-22 22:14:57 +00:00
parent 640a388253
commit f29bdd762e
-4
View File
@@ -5,7 +5,3 @@ Succ (Succ (Succ Zero))
Succ (Succ (Succ Zero))
Succ (Succ Zero)