michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(tests/lean): typo

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-12-18 20:11:49 -08:00
parent 8cfe5cf9ed
commit 42cb5d1d3c
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
tests/lean/push.lean.expected.out
View file

@ -8,6 +8,6 @@
f a
Error (line: 10, pos: 5) unknown identifier 'f'
Variable first : Bool
10 + 20 : ℤ
10 ++ 20 : ℤ
Error (line: 19, pos: 9) unknown identifier '++'
Error (line: 21, pos: 0) main scope cannot be removed