From 41db867fff61c2ef0dec4e2a003ea9f1310ed44d Mon Sep 17 00:00:00 2001
From: David JULIEN <swy7ch@protonmail.com>
Date: Tue, 19 Oct 2021 19:03:15 +0200
Subject: [PATCH] [nvim] feat: don't let CoqTail set any mapping

---
 .config/nvim/lua/plugins.lua | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.config/nvim/lua/plugins.lua b/.config/nvim/lua/plugins.lua
index eaa407b..b83dfa1 100644
--- a/.config/nvim/lua/plugins.lua
+++ b/.config/nvim/lua/plugins.lua
@@ -93,5 +93,9 @@ return require("packer").startup(function()
         }
 
         -- ens
-        use "whonore/Coqtail"
+        use {
+                "whonore/Coqtail",
+                ft = { "verilog" },
+                config = vim.cmd[[let g:coqtail_nomap = 1]]
+        }
 end)