diff options
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 1 |
1 files changed, 1 insertions, 0 deletions
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, |