From e3fa5b386e18ad9327cf635f92a0160792b202c6 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Fri, 6 Mar 2015 17:09:51 +0100
Subject: Fix syntax highlighting of Print/Reset Extraction.

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

diff --git a/ide/coq.lang b/ide/coq.lang
index e13a94aeac..22f0e48dcd 100644
--- a/ide/coq.lang
+++ b/ide/coq.lang
@@ -156,13 +156,13 @@
 	  <keyword>Eval</keyword>
 	  <keyword>Load</keyword>
 	  <keyword>Undo</keyword>
+	  <keyword>(Print|Reset)\%{space}+Extraction\%{space}+(Inline|Blacklist)</keyword>
 	  <keyword>Print</keyword>
 	  <keyword>Comments</keyword>
 	  <keyword>Solve\%{space}+Obligation</keyword>
 	  <keyword>((Uns)|(S))et(\%{space}+\%{ident})+</keyword>
 	  <keyword>(\%{locality}|((Reserved)|(Tactic))\%{space}+)?Notation</keyword>
 	  <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>
-- 
cgit v1.2.3