diff options
Diffstat (limited to 'lua/lspconfig/server_configurations/leanls.lua')
| -rw-r--r-- | lua/lspconfig/server_configurations/leanls.lua | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lua/lspconfig/server_configurations/leanls.lua b/lua/lspconfig/server_configurations/leanls.lua index c4db961d..b49f214c 100644 --- a/lua/lspconfig/server_configurations/leanls.lua +++ b/lua/lspconfig/server_configurations/leanls.lua @@ -12,6 +12,12 @@ return { fname = util.path.sanitize(fname) local stdlib_dir do + local _, endpos = fname:find '/src/lean' + if endpos then + stdlib_dir = fname:sub(1, endpos) + end + end + if not stdlib_dir then local _, endpos = fname:find '/lib/lean' if endpos then stdlib_dir = fname:sub(1, endpos) |