From 7a27ac4d3800b89766db50e2de2f2f72b46a7f3d Mon Sep 17 00:00:00 2001
From: sils <sils@sils.li>
Date: Thu, 23 Nov 2023 18:32:09 +0100
Subject: feat(u/sils/nixvim): switch back to coq-nvim

---
 users/sils/nixvim/default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/users/sils/nixvim/default.nix b/users/sils/nixvim/default.nix
index 89a6beb..3fa9b22 100644
--- a/users/sils/nixvim/default.nix
+++ b/users/sils/nixvim/default.nix
@@ -22,7 +22,7 @@ in {
         theme = "minimalist";
       };
       coq-nvim = {
-        enable = false;
+        enable = true;
         autoStart = "shut-up";
         installArtifacts = true;
       };
@@ -73,7 +73,7 @@ in {
         enable = true;
       };
       nvim-cmp = {
-        enable = true;
+        enable = false;
         mappingPresets = ["insert" "cmdline"];
         preselect = "None";
         sources = [
-- 
cgit 1.4.1