Darwin Error

Stream: general

[Jordan Brown]

My VS Code suddenly stopped being able to parse Lean, giving the error message
error: binary package was not provided for 'darwin' When I use the 'elan update' command in Terminal, I get the same error message. How can I fix this?

[Yaël Dillies]

Do elan self update. If that doesn't work, uninstall and reinstall elan.

[Jordan Brown]

Thanks, reinstalling worked!