From 5f26c276efc410ff7164e78f331cbb7befac1dc4 Mon Sep 17 00:00:00 2001
From: Sanchayan Maity <sanchayan@sanchayanmaity.net>
Date: Sat, 15 Jan 2022 16:22:59 +0530
Subject: [PATCH] nvim: plugins: Drop vim-coq-plugin

coqtail can provide syntax highlighting. Not sure why we ever
added vim-coq-plugin.
---
 nvim/.config/nvim/after/plugin/coqtail.vim | 2 --
 nvim/.config/nvim/lua/plugins.lua          | 5 +----
 2 files changed, 1 insertion(+), 6 deletions(-)
 delete mode 100644 nvim/.config/nvim/after/plugin/coqtail.vim

diff --git a/nvim/.config/nvim/after/plugin/coqtail.vim b/nvim/.config/nvim/after/plugin/coqtail.vim
deleted file mode 100644
index ee66f30..0000000
--- a/nvim/.config/nvim/after/plugin/coqtail.vim
+++ /dev/null
@@ -1,2 +0,0 @@
-let g:coqtail_nosyntax         = 1
-let g:coqtail_noindent_comment = 1
diff --git a/nvim/.config/nvim/lua/plugins.lua b/nvim/.config/nvim/lua/plugins.lua
index 0cec507..750698d 100644
--- a/nvim/.config/nvim/lua/plugins.lua
+++ b/nvim/.config/nvim/lua/plugins.lua
@@ -74,10 +74,7 @@ local init = function ()
   use 'mfussenegger/nvim-lint'
   use 'simrat39/rust-tools.nvim'
   -- Coq
-  use {
-    'whonore/Coqtail',
-    'jlapolla/vim-coq-plugin'
-  }
+  use 'whonore/Coqtail'
   -- treesitter based syntax highlighting
   use {
     'nvim-treesitter/nvim-treesitter',