Merge pull request #522 from frangio/commentstring

Use line comment for 'commentstring'

Author: Julian

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']]