diff options
Diffstat (limited to 'lua/nvim_lsp/leanls.lua')
| -rw-r--r-- | lua/nvim_lsp/leanls.lua | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lua/nvim_lsp/leanls.lua b/lua/nvim_lsp/leanls.lua index 77a045df..048be311 100644 --- a/lua/nvim_lsp/leanls.lua +++ b/lua/nvim_lsp/leanls.lua @@ -1,8 +1,8 @@ -local skeleton = require 'nvim_lsp/skeleton' +local configs = require 'nvim_lsp/configs' local util = require 'nvim_lsp/util' local lsp = vim.lsp -skeleton.leanls = { +configs.leanls = { default_config = { cmd = {"lean-language-server", "--stdio"}; filetypes = {"lean"}; |