Fix in proof-shell-handle-output

1 files changed, 1 insertions, 1 deletions

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)