diff --git a/nvim/.config/nvim/lua/plugins/languages/coq.lua b/nvim/.config/nvim/lua/plugins/languages/coq.lua index b8fbfcd..08480bf 100644 --- a/nvim/.config/nvim/lua/plugins/languages/coq.lua +++ b/nvim/.config/nvim/lua/plugins/languages/coq.lua @@ -10,8 +10,9 @@ return { { 'tomtomjhj/vscoq.nvim', event = { 'BufReadPre *.v', 'BufNewFile *.v'}, + filetypes = 'coq', opts = true, - dependencies = { 'whonore/Coqtail' }, + dependencies = { 'whonore/Coqtail', 'neovim/nvim-lspconfig' }, } -- { -- 'tomtomjhj/coq-lsp.nvim',