- fixed XXX'es in coq.el

1 files changed, 7 insertions, 4 deletions

diff --git a/coq/coq.el b/coq/coq.el
index 68243bb0..6c59bda7 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -959,7 +959,6 @@ This is specific to `coq-mode'."
 ;; - Bug: coq not running for the first comment after switching
 ;; - modify behavior of locked ancestors, see proof-span-read-only
 ;; - fix problem with partial library names
-;; - fix places marked with XXX
 
 ;; user options and variables
 
@@ -1240,12 +1239,16 @@ is up-to-date."
     (eq (compare-strings coq-library-directory 0 nil
                          lib-obj-file 0 (length coq-library-directory))
         t)
-    (message "Ignore lib file %s" lib-obj-file) ; XXX
+    (if coq-debug-auto-compilation
+        (message "Ignore lib file %s" lib-obj-file))
     t)
    (if (some
         (lambda (dir-regexp) (string-match dir-regexp lib-obj-file))
         coq-compile-ignored-directories)
-       (message "Ignore %s" lib-obj-file) ;XXX
+       (progn
+         (if coq-debug-auto-compilation
+             (message "Ignore %s" lib-obj-file))
+         t)
      nil)))
 
 (defun coq-library-src-of-obj-file (lib-obj-file)
@@ -1452,7 +1455,7 @@ function."
               (message "Checked %s already" lib-obj-file))
           result)
       ;; lib-obj-file has not been check -- do it now
-      (message "Check %s" lib-obj-file)     ;XXX
+      (message "Check %s" lib-obj-file)
       (if (coq-compile-ignore-file lib-obj-file)
           ;; return minimal time for ignored files
           (setq result '(0 0))