diff options
Diffstat (limited to 'lua/lspconfig/configs/leanls.lua')
| -rw-r--r-- | lua/lspconfig/configs/leanls.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lua/lspconfig/configs/leanls.lua b/lua/lspconfig/configs/leanls.lua index cde899d9..c29b6417 100644 --- a/lua/lspconfig/configs/leanls.lua +++ b/lua/lspconfig/configs/leanls.lua @@ -6,7 +6,7 @@ return { filetypes = { 'lean' }, root_dir = function(fname) -- check if inside elan stdlib - fname = util.path.sanitize(fname) + fname = vim.fs.normalize(fname) local stdlib_dir do local _, endpos = fname:find '/src/lean' |