fix in testcase testsuite\paraphrase
This commit is contained in:
1 parent
a7900bfbc8
commit
7a204376c9
1 file changed
-4
@@ -5,7 +5,3 @@ Succ (Succ (Succ Zero))
|
|||||||
Succ (Succ Zero)␍
|
Succ (Succ Zero)␍
|
||||||
␍
|
␍
|
||||||
unknown variable two␍
|
unknown variable two␍
|
||||||
Succ Zero␍
|
|
||||||
␍
|
|
||||||
Succ (Succ (Succ Zero))␍
|
|
||||||
␍
|
|
||||||
Reference in new issue
Block a user