From 1ab72459944a9d0f453f96f073b979813df59231 Mon Sep 17 00:00:00 2001
From: Daniel Knuettel <daniel.knuettel@daknuett.eu>
Date: Wed, 17 Nov 2021 14:07:50 +0100
Subject: [PATCH] updated coq config

---
 init.vim | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/init.vim b/init.vim
index c44004e..1ca7bf6 100644
--- a/init.vim
+++ b/init.vim
@@ -223,7 +223,7 @@ endfunction
 " and also gives some documentation preview.
 set completeopt=menuone,noinsert,noselect
 
-let g:coq_settings = {'auto_start': v:true, 'keymap.recommended': v:false, 'display.icons.mode': 'none'}
+let g:coq_settings = {'auto_start': 'shut-up', 'keymap.recommended': v:false, 'display.icons.mode': 'none'}
 lua require'coq'