From 49162693b37a3bebc47cd6f667b2e7ebea209fc6 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Mon, 28 Apr 2014 13:56:51 +0200
Subject: Fix broken commit 2bcb2cb.

---
 ide/coq.lang | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'ide/coq.lang')

diff --git a/ide/coq.lang b/ide/coq.lang
index 1cb95e535..1950b81a3 100644
--- a/ide/coq.lang
+++ b/ide/coq.lang
@@ -34,7 +34,7 @@
     <define-regex id="locality">(((Local)|(Global))\%{space}+)?</define-regex>
     <define-regex id="begin_proof">(Theorem)|(Lemma)|(Fact)|(Remark)|(Corollary)|(Proposition)|(Property)</define-regex>
     <define-regex id="end_proof">(Qed)|(Defined)|(Admitted)|(Abort)</define-regex>
-    <define-regex id="decl_head">((?'gal'\%{locality}(Program\%{space}+)?(\%{single_decl}|\%{begin_proof}))\%{space}+(?'id'\%{ident}))|((?'gal4list'\%{mult_decl})(?'id_list'(\%{space}+\%{ident})*))|(?'gal'Goal')</define-regex>
+    <define-regex id="decl_head">((?'gal'\%{locality}(Program\%{space}+)?(\%{single_decl}|\%{begin_proof}))\%{space}+(?'id'\%{ident}))|((?'gal4list'\%{mult_decl})(?'id_list'(\%{space}+\%{ident})*))|(?'gal2'Goal)</define-regex>
 
     <context id="escape-seq" style-ref="escape">
       <match>""</match>
@@ -81,6 +81,7 @@
 	  <include>
 	    <context sub-pattern="id" where="start" style-ref="identifier"/>
 	    <context sub-pattern="gal" where="start" style-ref="gallina-keyword"/>
+	    <context sub-pattern="gal2" where="start" style-ref="gallina-keyword"/>
 	    <context sub-pattern="id_list" where="start" style-ref="identifier"/>
 	    <context sub-pattern="gal4list" where="start" style-ref="gallina-keyword"/>
 	    <context id="constr-keyword" style-ref="constr-keyword">
-- 
cgit v1.2.3