From 0c9884aa648d94f1f40e98c44a8d93fb33b1fd50 Mon Sep 17 00:00:00 2001
From: sils <sils@sils.li>
Date: Mon, 25 Mar 2024 17:15:46 +0100
Subject: nixvim: use new pluginstyle config for coq-nvim

---
 users/sils/nixvim/config.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/users/sils/nixvim/config.nix b/users/sils/nixvim/config.nix
index e534c36..0414960 100644
--- a/users/sils/nixvim/config.nix
+++ b/users/sils/nixvim/config.nix
@@ -57,7 +57,9 @@ pkgs: {
     };
     coq-nvim = {
       enable = true;
-      autoStart = "shut-up";
+      settings = {
+        auto_start = "shut-up";
+      };
       installArtifacts = true;
     };
     dashboard = {
-- 
cgit 1.4.1