From 63e733181007056be5c252e4e42b371fc3f09ac9 Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Tue, 5 Jul 2011 09:21:03 +0000
Subject: + fix documentation and one spelling error

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

(limited to 'coq')

diff --git a/coq/coq.el b/coq/coq.el
index 108dcf94..6e6e7883 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1655,7 +1655,7 @@ function."
           (if coq-debug-auto-compilation
               (message "Checked %s already" lib-obj-file))
           result)
-      ;; lib-obj-file has not been check -- do it now
+      ;; lib-obj-file has not been checked -- do it now
       (message "Check %s" lib-obj-file)
       (if (coq-compile-ignore-file lib-obj-file)
           ;; return minimal time for ignored files
-- 
cgit v1.2.3