diff options
Diffstat (limited to 'lua/lspconfig/server_configurations/dolmenls.lua')
| -rw-r--r-- | lua/lspconfig/server_configurations/dolmenls.lua | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/lua/lspconfig/server_configurations/dolmenls.lua b/lua/lspconfig/server_configurations/dolmenls.lua index 36ac87af..1f0657e1 100644 --- a/lua/lspconfig/server_configurations/dolmenls.lua +++ b/lua/lspconfig/server_configurations/dolmenls.lua @@ -1,14 +1,8 @@ local util = require 'lspconfig.util' -local bin_name = 'dolmenls' -local cmd = { bin_name } - -if vim.fn.has 'win32' == 1 then - cmd = { 'cmd.exe', '/C', bin_name } -end return { default_config = { - cmd = cmd, + cmd = { 'dolmenls' }, filetypes = { 'smt2', 'tptp', 'p', 'cnf', 'icnf', 'zf' }, root_dir = util.find_git_ancestor, single_file_support = true, |