search

leanprover / elan

The Lean version manager
Apache License 2.0
316 stars 35 forks source link

Fix default value for DefaultToolchain #72

Closed lovettchris closed 2 years ago

lovettchris commented 2 years ago

fixes #71

Kha commented 2 years ago

Wait, that's not elan's default. The parameter should not be passed at all by default.

Kha commented 2 years ago

Hah, I was a few seconds too slow. Looks better!