From 3e28afcde1e1c6423c0d2ef9d88094cbd9c5a68c Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Fri, 6 Mar 2015 14:45:38 +0100
Subject: Fix syntax highlighting of "Require multiple libraries".

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

diff --git a/ide/coq.lang b/ide/coq.lang
index 608a4aeaea..6f7994fae7 100644
--- a/ide/coq.lang
+++ b/ide/coq.lang
@@ -195,7 +195,6 @@
 	  <keyword>Import</keyword>
 	  <keyword>Include</keyword>
 	  <keyword>Export</keyword>
-	  <keyword>Require(\%{space}+((Import)|(Export)))?</keyword>
 	  <keyword>(Recursive\%{space}+)?Extraction(\%{space}+(Language\%{space}+(Ocaml)|(Haskell)|(Scheme)|(Toplevel))|(Library)|((No)?Inline)|(Blacklist))?</keyword>
 	  <keyword>Extract\%{space}+(Inlined\%{space}+)?(Constant)|(Inductive)</keyword>
 	  <include>
@@ -206,6 +205,7 @@
 	<context id="command-for-qualit-list" style-ref="vernac-keyword">
 	  <suffix>(?'qua_list'(\%{space}+\%{qualit})+)</suffix>
 	  <keyword>Typeclasses (Transparent)|(Opaque)</keyword>
+	  <keyword>Require(\%{space}+((Import)|(Export)))?</keyword>
 	  <include>
 	    <context sub-pattern="qua_list" style-ref="identifier"/>
 	  </include>
-- 
cgit v1.2.3