From 65517d3912ba6386a672220fdd0f39b88de813ba Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 24 Jan 2003 15:25:26 +0000
Subject: Fix hilight of Module Type?

---
 coq/coq-syntax.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'coq')

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index e5ace9d0..36f0bed8 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -46,8 +46,8 @@
 
 (defvar coq-keywords-goal
   '("Chapter"
-    "Module\\s-+Type"
     "Module"
+    "Module\\s-+Type"
     "Section"
     "Correctness"
     "Definition"
-- 
cgit v1.2.3