diff options
Diffstat (limited to 'lua')
| -rw-r--r-- | lua/lspconfig/lean3ls.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lua/lspconfig/lean3ls.lua b/lua/lspconfig/lean3ls.lua index 9f03cf2a..9280c3f0 100644 --- a/lua/lspconfig/lean3ls.lua +++ b/lua/lspconfig/lean3ls.lua @@ -3,7 +3,7 @@ local util = require 'lspconfig/util' configs.lean3ls = { default_config = { - cmd = {"lean-language-server", "--stdio"}; + cmd = {"lean-language-server", "--stdio", "--", "-M", "4096", "-T", "100000" }; filetypes = {"lean3"}; root_dir = function(fname) return util.root_pattern("leanpkg.toml")(fname) or util.find_git_ancestor(fname) or util.path.dirname(fname) |