little modif on the end-cammand regexp.

1 files changed, 1 insertions, 1 deletions

diff --git a/coq/coq.el b/coq/coq.el
index 8b4670cd..b9c86556 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -594,7 +594,7 @@ This is specific to coq-mode."
 
   (setq proof-terminal-char ?\.)
   (setq proof-script-command-end-regexp   
-        (if coq-version-is-V7 "[.]\\([\\. \t\n\r\\']\\|\\'\\)" "."))
+        (if coq-version-is-V7 "[.]\\([\\. \t\n\r]\\|\\'\\)" "[.]"))
   (setq proof-script-comment-start "(*")
   (setq proof-script-comment-end "*)")
   (setq proof-unnamed-theorem-name "Unnamed_thm") ; Coq's default name