From 0d9322aac701ec270a251c4d56c793184f6d54a2 Mon Sep 17 00:00:00 2001
From: Iron-E <code.iron.e@gmail.com>
Date: Sat, 5 Dec 2020 14:53:55 -0500
Subject: [PATCH] ref(colors): link coq punctuation

Before, punctuation groups were separately linked to `Delimiter`. Now,
they are linked to each other so that if one changes away form
`Delimiter` in the future, the other will follow.
---
 colors/highlite.vim | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/colors/highlite.vim b/colors/highlite.vim
index 028ad69..2ec5a02 100644
--- a/colors/highlite.vim
+++ b/colors/highlite.vim
@@ -684,7 +684,7 @@ local highlight_groups = {
 	coqRequire  = 'Include',
 	coqTermPunctuation = 'Delimiter',
 	coqVernacCmd = 'Statement',
-	coqVernacPunctuation = 'Delimiter',
+	coqVernacPunctuation = 'coqTermPunctuation',
 
 	--[[ 4.4. Plugins
 		Everything in this section is OPTIONAL. Feel free to remove everything