From 2182d691510fb158bd77bee8741216341ba7f4e4 Mon Sep 17 00:00:00 2001
From: Thomas <thomasmuller336@gmail.com>
Date: Fri, 3 Dec 2021 11:38:26 -0500
Subject: [PATCH] Run COQ on startup

---
 .config/nvim/init.vim | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.config/nvim/init.vim b/.config/nvim/init.vim
index c654d6e..a5d68ac 100644
--- a/.config/nvim/init.vim
+++ b/.config/nvim/init.vim
@@ -12,6 +12,9 @@ Plug 'ms-jpq/coq.thirdparty', {'branch': '3p'}
 
 call plug#end()
 
+# ----[COQ]----
+let g:coq_settings = { 'auto_start': 'shut-up' }
+
 " ----[Look and Feel]----
 " Syntax hilighting and line numbers
 syntax on