From 42bfe6fd7de1867c5de38737aa1e637d39e5854c Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 18 Oct 1999 10:46:13 +0000 Subject: Missing cursor move --- generic/proof-script.el | 1 + 1 file changed, 1 insertion(+) diff --git a/generic/proof-script.el b/generic/proof-script.el index c5404139..12c3ab55 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -983,6 +983,7 @@ the next command end." ; (substring proof-comment-end 1 1) ; (char-to-string proof-terminal-char) ; "\""))) + (goto-char start) (while (not done) (cond ;; Case 1. We've reached POS, not allowed to go past it, -- cgit v1.2.3