diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-11-19 16:09:54 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-19 16:09:54 +0000 |
commit | 1e671cfbe1cebd482338ae0d7d6bbc12f19b0e04 (patch) | |
tree | 313ec496beb1a6c9339270164f34b516c53b39c5 /generic/proof.el | |
parent | c39c73e093ee6eecc959163a801eddfdd4574af8 (diff) |
Fix proof-try-require for FSF Emacs.
Diffstat (limited to 'generic/proof.el')
-rw-r--r-- | generic/proof.el | 7 |
1 files 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)) ;; ----------------------------------------------------------------- |