1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq.el b/coq/coq.el
index bc4667e2..b25e2777 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -319,7 +319,7 @@
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
 ;; "Case" is represented by 'c' on the stack, and
-;; "CoInductive is represented by 'C'.
+;; "CoInductive" is represented by 'C'.
 (defun coq-stack-to-indent (stack)
   (cond
    ((null stack) 0)