fix(library/init):removed unused import

leanprover / lean3

Lean Theorem Prover

http://leanprover.github.io/

Apache License 2.0

2.15k stars 217 forks source link

Closed huma23 closed 5 years ago

huma23 commented 5 years ago

the low level export of the library is not working with the import of the init.version, that was added to .gitignore since release 3.4.0 Closes #1964

leodemoura commented 5 years ago

This repo is frozen. We are working on Lean4