1 files changed, 1 insertions, 4 deletions
diff --git a/coq/coq.el b/coq/coq.el
index 7eaf7f51..160ec044 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -309,10 +309,7 @@
   (setq proof-mode-for-pbp 'coq-pbp-mode)
 )
 
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;;   Configuring proof and pbp mode and setting up various utilities  ;;
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-
+; FIXME: IMHO (tms) this ought to be defined in coq-syntax and not here.
 (defun coq-init-syntax-table ()
   "Set appropriate values for syntax table in current buffer."