From 2d56e8a7ae3a585804291c9935075e7068da4834 Mon Sep 17 00:00:00 2001
From: Ruben Beltran del Rio <ruben@unlimited.pizza>
Date: Thu, 1 Feb 2024 09:34:37 +0000
Subject: Remove snippets warning in coq

---
 config/nvim/init.lua | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'config/nvim')

diff --git a/config/nvim/init.lua b/config/nvim/init.lua
index f705d37..26b7156 100644
--- a/config/nvim/init.lua
+++ b/config/nvim/init.lua
@@ -85,7 +85,14 @@ vim.keymap.set("n", "<c-P>",
 vim.g.vim_svelte_plugin_use_typescript = true
 
 -- Coq
-vim.g.coq_settings = { auto_start = 'shut-up' }
+vim.g.coq_settings = {
+  auto_start = 'shut-up',
+  clients = {
+    snippets = {
+      warn = {}
+    }
+  }
+}
 
 -- Plugins
 require('plugins')
-- 
cgit