From 3940535543f6a23334b6d4aeef834ed6c7446a02 Mon Sep 17 00:00:00 2001
From: William Ball <williampi103@gmail.com>
Date: Mon, 17 Mar 2025 23:23:47 -0700
Subject: [PATCH] slightly tweak coq config

---
 nvim/.config/nvim/lua/plugins/languages/coq.lua | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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',