From 0e9ad65b7302ae8fe419726e4a311e42e2dae749 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Fri, 6 Mar 2015 16:51:10 +0100
Subject: Fix syntax highlighting of Extraction Language.

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

diff --git a/ide/coq.lang b/ide/coq.lang
index cfacd7ca43..fee84bd32e 100644
--- a/ide/coq.lang
+++ b/ide/coq.lang
@@ -164,6 +164,7 @@
 	  <keyword>\%{locality}Infix</keyword>
 	  <keyword>(Print)|(Reset)\%{space}+Extraction\%{space}+(Inline)|(Blacklist)</keyword>
 	  <keyword>Declare\%{space}+ML\%{space}+Module</keyword>
+	  <keyword>Extraction\%{space}+Language\%{space}+(Ocaml|Haskell|Scheme)</keyword>
 	</context>
 	<context id="hint-command" style-ref="vernac-keyword">
 	  <prefix>\%{locality}Hint\%{space}+</prefix>
@@ -196,7 +197,7 @@
 	  <keyword>Arguments</keyword>
 	  <keyword>Implicit\%{space}+Arguments</keyword>
 	  <keyword>Include</keyword>
-	  <keyword>(Recursive\%{space}+)?Extraction(\%{space}+(Language\%{space}+(Ocaml)|(Haskell)|(Scheme)|(Toplevel))|(Library)|((No)?Inline)|(Blacklist))?</keyword>
+	  <keyword>(Recursive\%{space}+)?Extraction(\%{space}+((Library)|((No)?Inline)|(Blacklist)))?</keyword>
 	  <keyword>Extract\%{space}+((Inlined\%{space}+)?(Constant)|(Inductive))</keyword>
 	  <include>
 	    <context sub-pattern="1" style-ref="vernac-keyword"/>
-- 
cgit v1.2.3