From 702f5b90ce36e17493fbd5390db7c35097ae8149 Mon Sep 17 00:00:00 2001
From: Clément Pit-Claudel
Date: Thu, 19 Nov 2020 19:31:32 -0500
Subject: coq: Add highlighting for Hint Mode

---
 coq/coq-syntax.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index 4cb6de55..0e143637 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -428,6 +428,7 @@ so for the following reasons:
     ("Global Variables" "gvs" "Global Variables # , #: #." t "Global\\s-+Variables")
     ("Hint Constructors" "hc" "Hint Constructors # : #." t "Hint\\s-+Constructors")
     ("Hint Extern" "he" "Hint Extern @{cost} @{pat} => @{tac} : @{db}." t "Hint\\s-+Extern")
+    ("Hint Mode" "hm" "Hint Mode # @{mode...} : @{db}." t "Hint\\s-+Mode")
     ("Hint Immediate" "hi" "Hint Immediate # : @{db}." t "Hint\\s-+Immediate")
     ("Hint Resolve" "hr" "Hint Resolve # : @{db}." t "Hint\\s-+Resolve")
     ("Hint Rewrite ->" "hrw" "Hint Rewrite -> @{t1,t2...} using @{tac} : @{db}." t "Hint\\s-+Rewrite")
-- 
cgit v1.2.3