diff --git a/config.nix b/config.nix
index 8717bd8..2501aec 100644
--- a/config.nix
+++ b/config.nix
@@ -137,7 +137,6 @@
     coq-nvim = {
       enable = true;
       installArtifacts = true;
-      settings.auto_start = "shut-up";
 
       luaConfig.post = ''
         vim.g.coq_settings = {