diff options
Diffstat (limited to 'lsp/vscoqtop.lua')
| -rw-r--r-- | lsp/vscoqtop.lua | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/lsp/vscoqtop.lua b/lsp/vscoqtop.lua index bfa8a613..41b38eb4 100644 --- a/lsp/vscoqtop.lua +++ b/lsp/vscoqtop.lua @@ -3,8 +3,4 @@ --- https://github.com/coq-community/vscoq ---@type vim.lsp.Config -return { - cmd = { 'vscoqtop' }, - filetypes = { 'coq' }, - root_markers = { '_CoqProject', '.git' }, -} +error("The 'vscoqtop' config has been renamed to 'vsrocq'.") |