diff options
Diffstat (limited to 'lua/lspconfig/configs/fstar.lua')
| -rw-r--r-- | lua/lspconfig/configs/fstar.lua | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lua/lspconfig/configs/fstar.lua b/lua/lspconfig/configs/fstar.lua index 80e092da..f399c61c 100644 --- a/lua/lspconfig/configs/fstar.lua +++ b/lua/lspconfig/configs/fstar.lua @@ -1,10 +1,10 @@ -local util = require 'lspconfig.util' - return { default_config = { cmd = { 'fstar.exe', '--lsp' }, filetypes = { 'fstar' }, - root_dir = util.find_git_ancestor, + root_dir = function(fname) + return vim.fs.dirname(vim.fs.find('.git', { path = fname, upward = true })[1]) + end, }, docs = { description = [[ |