From a2bc782f7b08d1fa32d2dc375706f178b14588be Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Mon, 14 Nov 2005 14:37:04 +0000
Subject: actually revert to revision 8.15;

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

(limited to 'generic')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 5dc1f4fc..acb70b7e 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1953,10 +1953,10 @@ string instead.
 Errors are not supressed and will result in a display as 
 usual, unless NOERROR is non-nil."
   (setq proof-shell-no-response-display t)
-  (setq proof-shell-no-error-display t) ;;FIX: use noerror
+  (setq proof-shell-no-error-display t)
   (unwind-protect
       (proof-shell-invisible-command cmd 'waitforit)
-    (setq proof-shell-no-response-display nil)
+    (setq proof-shell-no-error-display nil)
     (setq proof-shell-no-response-display nil))
   proof-shell-last-output)
 
-- 
cgit v1.2.3