From 84175a930133ca5fe74c871613c385b27b89765a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 17 Sep 1998 10:39:56 +0000
Subject: Fix in proof-shell-handle-output

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

diff --git a/generic/proof.el b/generic/proof.el
index 82e78569..5d2959b1 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -798,7 +798,7 @@ Returns the string (with faces) in the specified region."
       (goto-char (point-max))
       (setq start (search-backward-regexp start-regexp))
       (save-excursion (setq end (- (search-forward-regexp end-regexp)
-				   (length (match-string 0)) 1)))
+				   (length (match-string 0)))))
       (setq string
 	    (proof-shell-strip-annotations (buffer-substring start end)))
       (delete-region start end)
-- 
cgit v1.2.3