From 7cac5479cada3c8a2d90d685d735c98aac32720e Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 26 May 1999 16:22:46 +0000
Subject: closed string in comment;

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

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)
-- 
cgit v1.2.3