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

chore(tests/lean/revert): fix test

Browse source
This commit is contained in:
Leonardo de Moura 2018-06-08 11:21:01 -07:00
parent 7057f69923
commit 03391006dc
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/revert.lean.expected.out
View file

@ -1,6 +1,6 @@
?m_1
?m_1 h1 h2
revert.lean:69:9: error: invalid type ascription, term has type
revert.lean:69:2: error: invalid type ascription, term has type
b = b
but is expected to have type
?m_1 b = b