From 8139cd14f0c64e3f0128880dc998005d3e63e122 Mon Sep 17 00:00:00 2001
From: David JULIEN <david.julien@univ-nantes.fr>
Date: Mon, 9 Jan 2023 18:00:16 +0100
Subject: [PATCH] cleanup: remove COQ highlights

---
 lua/astronomy/scheme.lua | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/lua/astronomy/scheme.lua b/lua/astronomy/scheme.lua
index 3a29892..0489058 100644
--- a/lua/astronomy/scheme.lua
+++ b/lua/astronomy/scheme.lua
@@ -221,12 +221,6 @@ function M.load_colors(scheme)
         CmpItemKindKeyword   = { fg = scheme.orange, bg = scheme.none, scheme.none },
         CmpItemKindFunction  = { fg = scheme.blue, bg = scheme.none, scheme.none },
         CmpItemKindMethod    = { link = "CmpItemKindFunction" },
-
-        ----------------
-        -- COQ COLORS --
-        ----------------
-        CoqtailChecked = { fg = scheme.none, bg = static.coq_checked, scheme.none },
-        CoqtailSent    = { fg = scheme.none, bg = static.coq_sent, scheme.none },
     }
 
     terminal_colors(scheme)