diff options
| -rw-r--r-- | generic/proof.el | 2 |
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) |