From 5743fd25fa058e4cf7b5949b8287935163de9232 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Fri, 6 Mar 2015 16:03:40 +0100
Subject: Add syntax highlighting for Declare ML Module.

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

(limited to 'ide/coq.lang')

diff --git a/ide/coq.lang b/ide/coq.lang
index 43268b0c3..1842f7942 100644
--- a/ide/coq.lang
+++ b/ide/coq.lang
@@ -163,6 +163,7 @@
 	  <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>
 	</context>
 	<context id="hint-command" style-ref="vernac-keyword">
 	  <prefix>\%{locality}Hint\%{space}+</prefix>
-- 
cgit v1.2.3