From 560e06e3409003bb58b158cf5f156eb3db70c227 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Fri, 6 Mar 2015 15:08:31 +0100
Subject: Do not highlight "using" as a constr keyword.

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

(limited to 'ide')

diff --git a/ide/coq.lang b/ide/coq.lang
index 46d91816a7..09b59d4625 100644
--- a/ide/coq.lang
+++ b/ide/coq.lang
@@ -97,7 +97,6 @@
 	      <keyword>then</keyword>
 	      <keyword>else</keyword>
 	      <keyword>return</keyword>
-	      <keyword>using</keyword>
 	    </context>
 	    <context id="constr-sort" style-ref="constr-sort">
 	      <keyword>Prop</keyword>
-- 
cgit v1.2.3