From 11a6e6678b359d9a27b78c94ead73c81d22fd080 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Sun, 2 Mar 2014 13:28:59 +0100
Subject: Fix syntax highlighting of "Implicit Arguments" for gtksourceview.

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

diff --git a/ide/coq.lang b/ide/coq.lang
index b6f081521c..26a92cf957 100644
--- a/ide/coq.lang
+++ b/ide/coq.lang
@@ -184,6 +184,7 @@
 	  <keyword>End</keyword>
 	  <keyword>Section</keyword>
 	  <keyword>Arguments</keyword>
+	  <keyword>Implicit\%{space}+Arguments</keyword>
 	  <keyword>(Import)|(Include)</keyword>
 	  <keyword>Require(\%{space}+((Import)|(Export)))?</keyword>
 	  <keyword>(Recursive\%{space}+)?Extraction(\%{space}+(Language\%{space}+(Ocaml)|(Haskell)|(Scheme)|(Toplevel))|(Library)|((No)?Inline)|(Blacklist))?</keyword>
-- 
cgit v1.2.3