Fixing #485, bug on proof without "Proof".

Due to a re-search that should fail silently.

1 files changed, 1 insertions, 1 deletions

diff --git a/coq/coq.el b/coq/coq.el
index cb43f3a9..ca1e36a1 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -2661,7 +2661,7 @@ built from the list of strings in SUGGESTED."
   (with-current-buffer proof-script-buffer
     (save-excursion
       (goto-char (span-start span))
-      (let* ((endpos (re-search-forward coq-proof-using-regexp)))
+      (let* ((endpos (re-search-forward coq-proof-using-regexp (span-end span) t)))
         (when endpos
           (let* ((suggested (span-property span 'dependencies))
                  (proof-pos (match-beginning 0))