From 077d8e8045fed6904d7fe7322afa7c217f6996d8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 12 Jul 2002 08:15:38 +0000
Subject: Trivial

---
 generic/proof-shell.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 6dd9602f..019e9233 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1461,7 +1461,7 @@ proof-shell-eager-annotation-start, proof-shell-eager-annotation-end."
       (let 
 	  ((variable   (match-string 1 message))
 	   (expr	     (match-string 2 message)))
-	(condition-case err
+	(condition-case nil
 	    ;; Easiest way to do this seems to be to dump the lisp
 	    ;; string into another buffer -- no direct way to eval
 	    ;; from a string?
-- 
cgit v1.2.3