search

leanprover / vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant
Apache License 2.0
158 stars 48 forks source link

fix: abbreviation rewriter disposal race condition #492

Closed mhuisi closed 3 months ago

mhuisi commented 3 months ago

This issue fixes a noisy and persistent error that was reported in #489. It may also have caused a leak in abbreviation rewriters over time.