max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: fix tests

Browse source
This commit is contained in:
Leonardo de Moura 2020-02-04 10:14:31 -08:00
parent 63434fbb7d
commit d125966c52
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
tests/lean/appParserIssue.lean.expected.out
View file

@ -1,5 +1,4 @@
f 1 : (Nat → Nat) → Nat
appParserIssue.lean:5:11: error: expected command
appParserIssue.lean:5:11: error: unexpected token; expected longestMatch: empty list or '('
f 1 (λ (x : Nat), x) : Nat
f 1 (λ (x : Nat), x) : Nat
appParserIssue.lean:12:13: error: unexpected token