From 01d6dcc8f1e6ea6f9eae8758c5e86b66c49a7f35 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 29 Nov 1999 12:50:59 +0000
Subject: Typo

---
 generic/proof-shell.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.
-- 
cgit v1.2.3