diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-10-18 10:46:13 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-10-18 10:46:13 +0000 |
commit | 42bfe6fd7de1867c5de38737aa1e637d39e5854c (patch) | |
tree | 7c7eee3590213e61e15ecba1c2e3ced72ed7aa9e | |
parent | a8646d4bc877f3c3e0d6a318d4127a6d600633ec (diff) |
Missing cursor move
-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, |