From 1e671cfbe1cebd482338ae0d7d6bbc12f19b0e04 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 19 Nov 1999 16:09:54 +0000
Subject: Fix proof-try-require for FSF Emacs.

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

diff --git a/generic/proof.el b/generic/proof.el
index f41cb4cd..85c7bca9 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -191,10 +191,11 @@ It was constructed with the macro proof-customize-toggle.")
 	(> (prefix-numeric-value arg) 0)))))
 
 (defun proof-try-require (symbol)
-  "Try requiring SYMBOL.  No error if it fails for some reason."
+  "Try requiring SYMBOL.  No error if the file for SYMBOL isn't found."
   (condition-case ()
-      (require symbol) ;; NB: lose all errors!
-    (t (featurep symbol))))
+      (require symbol)
+    (file-error nil))
+  (featurep symbol))
 
 
 ;; -----------------------------------------------------------------
-- 
cgit v1.2.3