aboutsummaryrefslogtreecommitdiffstats
path: root/lua/lspconfig/configs/lean3ls.lua
diff options
context:
space:
mode:
authordundargoc <33953936+dundargoc@users.noreply.github.com>2024-11-26 22:42:28 +0100
committerGitHub <noreply@github.com>2024-11-26 13:42:28 -0800
commit830ec3893eeb2b21d182864b56931ca6d23d3e29 (patch)
treebddf3b5be5c9886642dcaa8cd78569e5eb4cc28f /lua/lspconfig/configs/lean3ls.lua
parentci: check for deprecated util functions #3462 (diff)
downloadnvim-lspconfig-830ec3893eeb2b21d182864b56931ca6d23d3e29.tar
nvim-lspconfig-830ec3893eeb2b21d182864b56931ca6d23d3e29.tar.gz
nvim-lspconfig-830ec3893eeb2b21d182864b56931ca6d23d3e29.tar.bz2
nvim-lspconfig-830ec3893eeb2b21d182864b56931ca6d23d3e29.tar.lz
nvim-lspconfig-830ec3893eeb2b21d182864b56931ca6d23d3e29.tar.xz
nvim-lspconfig-830ec3893eeb2b21d182864b56931ca6d23d3e29.tar.zst
nvim-lspconfig-830ec3893eeb2b21d182864b56931ca6d23d3e29.zip
refactor: remove internal implementation of `util.path.sanitize` #3464
Return value from `vim.fs.normalize` instead.
Diffstat (limited to 'lua/lspconfig/configs/lean3ls.lua')
-rw-r--r--lua/lspconfig/configs/lean3ls.lua2
1 files changed, 1 insertions, 1 deletions
diff --git a/lua/lspconfig/configs/lean3ls.lua b/lua/lspconfig/configs/lean3ls.lua
index 01479898..645fbbbe 100644
--- a/lua/lspconfig/configs/lean3ls.lua
+++ b/lua/lspconfig/configs/lean3ls.lua
@@ -6,7 +6,7 @@ return {
filetypes = { 'lean3' },
offset_encoding = 'utf-32',
root_dir = function(fname)
- fname = util.path.sanitize(fname)
+ fname = vim.fs.normalize(fname)
-- check if inside elan stdlib
local stdlib_dir
do