From a0383d4ce6d69b086331310b32c7262223a659e5 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Tue, 3 Dec 2013 11:09:54 +0100
Subject: Ensure locality modifiers are properly highlighted in CoqIDE.

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

(limited to 'ide/coq.lang')

diff --git a/ide/coq.lang b/ide/coq.lang
index 718eb718f..b6f081521 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'(Program\%{space}+)?(\%{single_decl}|\%{begin_proof}))\%{space}+(?'id'\%{ident}))|((?'gal4list'\%{mult_decl})(?'id_list'(\%{space}+\%{ident})*))</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})*))</define-regex>
 
     <context id="escape-seq" style-ref="escape">
       <match>""</match>
-- 
cgit v1.2.3