From 04e787c9419f4620bb91fc38582e0c12a2dfc1fa Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marco=20Ciccal=C3=A8=20Bazt=C3=A1n?= Date: Mon, 4 Aug 2025 11:18:00 +0200 Subject: [PATCH] typo in autoload magic comment --- lean4-mode.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean4-mode.el b/lean4-mode.el index 3994c99..7e38d69 100644 --- a/lean4-mode.el +++ b/lean4-mode.el @@ -271,7 +271,7 @@ of the parent project." '("lean" . lean4-select-mode))) ;; Use utf-8 encoding -;;;### autoload +;;;###autoload (modify-coding-system-alist 'file "\\.lean\\'" 'utf-8) ;; LSP init