diff options
Diffstat (limited to 'lua')
| -rw-r--r-- | lua/lspconfig/server_configurations/lean3ls.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lua/lspconfig/server_configurations/lean3ls.lua b/lua/lspconfig/server_configurations/lean3ls.lua index dc3872e8..cb5cd8f7 100644 --- a/lua/lspconfig/server_configurations/lean3ls.lua +++ b/lua/lspconfig/server_configurations/lean3ls.lua @@ -12,6 +12,7 @@ return { default_config = { cmd = cmd, filetypes = { 'lean3' }, + offset_encoding = "utf-32", root_dir = function(fname) -- check if inside elan stdlib local stdlib_dir |