From 29268d7e8e3c9925515c1e7aaaa77ae535e7f46e Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Fri, 6 Mar 2015 16:36:37 +0100
Subject: Fix syntax highlighting of Typeclasses Opaque.

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

diff --git a/ide/coq.lang b/ide/coq.lang
index 2242ef1022..cfacd7ca43 100644
--- a/ide/coq.lang
+++ b/ide/coq.lang
@@ -205,7 +205,7 @@
 	</context>
 	<context id="command-for-qualit-list">
 	  <suffix>(?'qua_list'(\%{space}+\%{qualit})+)</suffix>
-	  <keyword>Typeclasses (Transparent)|(Opaque)</keyword>
+	  <keyword>Typeclasses (Transparent|Opaque)</keyword>
 	  <keyword>Require(\%{space}+((Import)|(Export)))?</keyword>
 	  <keyword>Import</keyword>
 	  <keyword>Export</keyword>
-- 
cgit v1.2.3