From 7d6a6c6c6b8ccbcb0b83a843d2854406c73551d7 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Mon, 7 Nov 2005 23:02:59 +0000
Subject: added match...with automatic building from atype name.

Had to correct a bug in proof-shell.
---
 generic/proof-shell.el | 2 --
 1 file changed, 2 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index acb70b7e..62f61ddd 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1953,10 +1953,8 @@ 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)
   (unwind-protect
       (proof-shell-invisible-command cmd 'waitforit)
-    (setq proof-shell-no-error-display nil)
     (setq proof-shell-no-response-display nil))
   proof-shell-last-output)
 
-- 
cgit v1.2.3