michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
lean2/tests/lean/unfold_crash.lean.expected.out

2 lines
79 B
Text
Raw Permalink Normal View History

fix(tests/lean/unfold_crash): fixed regression test for bug reported by Rob
2015-07-28 19:51:42 +00:00
unfold_crash.lean:8:9: error: invalid 'unfold', 'nat.succ' is not a definition
Reference in a new issue Copy permalink