diff options
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)) ;; ----------------------------------------------------------------- |