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