diff options
| author | David Aspinall | 1999-11-29 12:50:59 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-29 12:50:59 +0000 |
| commit | 01d6dcc8f1e6ea6f9eae8758c5e86b66c49a7f35 (patch) | |
| tree | e3f22d54903e402c68cf40e0e003e87cbb08bd92 /generic | |
| parent | debfa48c5cda791a4e8939918936f3ed5713d4d2 (diff) | |
Typo
Diffstat (limited to 'generic')
| -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. |