From 2b3c07474aed33a956832af449f07f912cd889d0 Mon Sep 17 00:00:00 2001
From: Ethan Girouard <ethan@girouard.com>
Date: Fri, 19 Sep 2025 20:43:28 -0400
Subject: [PATCH] Don't start coq by default

---
 config.nix | 1 -
 1 file changed, 1 deletion(-)

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 = {