From 67f23604d57cc5e4e5b4f3546f241401828c4b5c Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Tue, 24 Mar 2015 10:13:17 +0000
Subject: fixed gfail hilighting.

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

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index e58ecf60..0fd200f5 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -328,7 +328,7 @@ so for the following reasons:
      ("fourier" "four" "fourier" t "fourier")
      ("fail" "fa" "fail" nil)
      ("field" "field" "field" t "field")
-     ("gfail" "fa" "gfail" nil)
+     ("gfail" "gfa" "gfail" nil "gfail")
      ("omega" "o" "omega" t "omega")
      ("reflexivity" "refl" "reflexivity #" t "reflexivity")
      ("ring" "ring" "ring #" t "ring")
-- 
cgit v1.2.3