typo in autoload magic comment#111

mciccale wants to merge 1 commit into

leanprover-community:masterleanprover-community/lean4-mode:masterfrom

mciccale:patch-1mciccale/lean4-mode:patch-1Copy head branch name to clipboard