diff options
| -rw-r--r-- | generic/proof-shell.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index b0c09c52..bcb1d4a6 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1462,7 +1462,7 @@ This is a subroutine of proof-shell-filter." ;; (max ;; (marker-position proof-marker) (- (point) proof-shell-eager-annotation-start-length) - (1- (process-mark (get-buffer-process (current-buffer))))))) + (1- (process-mark (get-buffer-process (current-buffer)))))) ;; Otherwise, the search for the ending annotation was ;; unsuccessful, so we set the scanner marker to the start of ;; the annotation found. |