From a8e0880b296b876f7bbd2e5ba37a54dcc2eb09d5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 1 Oct 1998 16:29:02 +0000
Subject: Replaced string COMMENT by constant proof-no-command.

---
 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 3cefd123..18540d7c 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -170,7 +170,7 @@
 
       (setq span (next-span span 'type)))
 
-      (or ans "COMMENT")))
+      (or ans proof-no-command)))
 
 (defvar coq-current-goal 1
   "Last goal that emacs looked at.")
-- 
cgit v1.2.3