1 files changed, 1 insertions, 1 deletions
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.")