search

leanprover / elan

The Lean version manager
Apache License 2.0
297 stars 34 forks source link

Ran cargo fmt and removed all try! macro uses #53

Closed NicholasLYang closed 2 years ago

NicholasLYang commented 2 years ago

This was some low hanging fruit so decided to tackle it. Ran cargo fmt on the codebase with the use_try_shorthand config option, which fixes all the try! warnings.

Kha commented 2 years ago

Nice, thanks :)