From 1de72490a9a9fcfbe9cb88cc10d4d18728a54d04 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 8 Sep 2009 12:47:40 +0000
Subject: pg-response-display-with-face: remove update of
 `proof-shell-last-output'

---
 generic/pg-response.el | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'generic')

diff --git a/generic/pg-response.el b/generic/pg-response.el
index f1be532c..e5edf640 100644
--- a/generic/pg-response.el
+++ b/generic/pg-response.el
@@ -274,8 +274,7 @@ Returns non-nil if response buffer was cleared."
 ;; pg-response-maybe-erase-buffer.
 ;;;###autoload
 (defun pg-response-display-with-face (str &optional face)
-  "Display STR with FACE in response buffer.
-Also updates `proof-shell-last-output'."
+  "Display STR with FACE in response buffer."
   (cond
    ((string-equal str ""))
    ((string-equal str "\n"))		; quick exit, no display.
@@ -293,7 +292,6 @@ Also updates `proof-shell-last-output'."
 	  (newline))
 	(setq start (point))
 	(insert str)
-	(setq proof-shell-last-output str)
 	(unless (bolp) (newline))
 	(when face
 	  (overlay-put
-- 
cgit v1.2.3