From 16f06a85e562411c0b36c3d162ffbe20e901a58b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 30 Aug 2010 23:08:08 +0000
Subject: Fix comment

---
 coq/coq-syntax.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index 7e7614da..c0076e6a 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -627,8 +627,6 @@ See also `coq-prog-env' to adjust the environment."
  ;;; Goals (and module/sections) starters detection
 
 
-;; ----- keywords for font-lock.
-
 ;; FIXME da: this one function breaks the nice configuration of Proof General:
 ;; would like to have proof-goal-regexp instead.
 ;; Unfortunately Coq allows "Definition" and friends to perhaps have a goal,
@@ -749,6 +747,8 @@ Used by `coq-goal-command-p'"
   )
 
 
+;; ----- keywords for font-lock.
+
 (defvar coq-keywords-kill-goal
   '("Abort"))
 
-- 
cgit v1.2.3