1 files changed, 2 insertions, 2 deletions
diff --git a/coq/coq.el b/coq/coq.el
index 62e23bed..bea485be 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -725,9 +725,9 @@ This is specific to coq-mode."
 (defun coq-mode-config ()
 
   (setq proof-terminal-char ?\.)
-  (setq proof-script-command-end-regexp   ;"\\(\\w\\|\\s-\\|\\(\\.\\.\\)+\\)\\.[^\\w\\.]"
+  (setq proof-script-command-end-regexp
         (if coq-version-is-V7 
-            "\\(?:\\w\\|\\s-\\|\\(?:\\.\\.\\)+\\)\\.\\(\\s-\\|\\'\\)"
+            "\\(?:\\w\\|\\s-\\|\\s)\\|\\(?:\\.\\.\\)+\\)\\.\\(\\s-\\|\\'\\)"
           "[.]"))
   (setq proof-script-comment-start "(*")
   (setq proof-script-comment-end "*)")