From c1587dfec7ecbd48e2404d8c4744eacfce08a943 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Fri, 6 Mar 2015 16:03:09 +0100
Subject: Fix syntax highlighting of Require.

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

diff --git a/ide/coq.lang b/ide/coq.lang
index 788ad8aef8..43268b0c31 100644
--- a/ide/coq.lang
+++ b/ide/coq.lang
@@ -202,11 +202,12 @@
 	    <context sub-pattern="qua" style-ref="identifier"/>
 	  </include>
 	</context>
-	<context id="command-for-qualit-list" style-ref="vernac-keyword">
+	<context id="command-for-qualit-list">
 	  <suffix>(?'qua_list'(\%{space}+\%{qualit})+)</suffix>
 	  <keyword>Typeclasses (Transparent)|(Opaque)</keyword>
 	  <keyword>Require(\%{space}+((Import)|(Export)))?</keyword>
 	  <include>
+	    <context sub-pattern="1" style-ref="vernac-keyword"/>
 	    <context sub-pattern="qua_list" style-ref="identifier"/>
 	  </include>
 	</context>
-- 
cgit v1.2.3