From 57f530aad7a13ddd08c61aa3a514732361b599f9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 1 Oct 1999 10:24:22 +0000
Subject: Fix bug for proof-shell-leave-annotations-in-output.

---
 generic/proof-shell.el | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 141a61d6..274d05f8 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -729,8 +729,9 @@ Returns the string (with faces) in the specified region."
       (setq start (search-backward-regexp start-regexp))
       (setq end (- (search-forward-regexp end-regexp)
 				   (length (match-string 0))))
-      (unless proof-shell-leave-annotations-in-output
-	(setq string
+      (setq string
+	    (if proof-shell-leave-annotations-in-output
+		(buffer-substring start end)
 	      (proof-shell-strip-special-annotations 
 	       (buffer-substring start end)))))
     ;; Erase if need be, and erase next time round too.
-- 
cgit v1.2.3