From e256f6d59981e0cab4cad93f60ab3ab17926420f Mon Sep 17 00:00:00 2001 From: Francisco Giordano Date: Tue, 2 Jun 2026 13:15:13 -0300 Subject: [PATCH] use line comment for 'commentstring' --- ftplugin/lean/lean.lua | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ftplugin/lean/lean.lua b/ftplugin/lean/lean.lua index e2845e26..23e4a8be 100644 --- a/ftplugin/lean/lean.lua +++ b/ftplugin/lean/lean.lua @@ -7,7 +7,7 @@ vim.opt.wildignore:append [[*.olean]] vim.bo.iskeyword = [[a-z,A-Z,_,48-57,192-255,!,',?,#]] vim.bo.comments = [[s0:/-,mb: ,ex:-/,:--]] -vim.bo.commentstring = [[/- %s -/]] +vim.bo.commentstring = [[-- %s]] vim.bo.includeexpr = [[substitute(v:fname, '\.', '/', 'g') . '.lean']]