diff options
| author | David Aspinall | 2005-09-28 18:21:38 +0000 |
|---|---|---|
| committer | David Aspinall | 2005-09-28 18:21:38 +0000 |
| commit | ff2ff387c75b1d5a1d803f419f72ed3fd44ec036 (patch) | |
| tree | d9f03b88448a9f0ea886db3a0470c83aaec7eaea | |
| parent | 3e1a503079a0f8170ded064d9ae2772f42699d98 (diff) | |
Make robust against missing advice package
| -rw-r--r-- | generic/proof-site.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index 112e1741..a21c30b1 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -391,7 +391,9 @@ proof-assistant-table." (string-match "XEmacs" emacs-version) (not (featurep 'x-symbol-hooks)) ;; unless already loaded (file-exists-p (concat proof-home-directory ;; or our version removed - "x-symbol/lisp/"))) + "x-symbol/lisp/")) + ;; proof-try-require: make robust against missing advice package + (condition-case () (require 'advice) (file-error nil) (featurep 'advice))) (defadvice packages-new-autoloads (after ignore-other-x-symbols activate) (setq ad-return-value (delete-if (lambda (pkg) |