diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-12-20 14:42:21 +0100 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-12-20 14:42:21 +0100 |
| commit | ebb55c998867fd13f8767a52a9542447347f7dc1 (patch) | |
| tree | a2419396d62c3342e73e44099b8745d3201d09c7 /generic/pg-user.el | |
| parent | 0c9565d4d69a94cf33db5f98b381c3332709aa1e (diff) | |
| parent | 883ce2ff1092003b6341cfebd1d7b2ab31239a41 (diff) | |
Merge branch 'master' of github.com:ProofGeneral/PG
Diffstat (limited to 'generic/pg-user.el')
| -rw-r--r-- | generic/pg-user.el | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/generic/pg-user.el b/generic/pg-user.el index a5ed27a9..57d29f18 100644 --- a/generic/pg-user.el +++ b/generic/pg-user.el @@ -558,18 +558,18 @@ last use time, to discourage saving these into the users database." (defvar completion-min-length) (declare-function add-completion "completion" (string &optional num-uses last-use-time)) - (mapcar (lambda (cmpl) - ;; completion gives error; trapping is tricky so test again - (if (>= (length cmpl) completion-min-length) - (add-completion cmpl -1000 0))) - (proof-ass completion-table))) + (when proof-assistant + (mapcar (lambda (cmpl) + ;; completion gives error; trapping is tricky so test again + (if (>= (length cmpl) completion-min-length) + (add-completion cmpl -1000 0))) + (proof-ass completion-table)))) ;; NB: completion table is expected to be set when proof-script ;; is loaded! Call `proof-script-add-completions' to update. -(unless (bound-and-true-p byte-compile-current-file) ;FIXME: Yuck! - (eval-after-load "completion" - '(proof-add-completions))) +(eval-after-load "completion" + '(proof-add-completions)) (defun proof-script-complete (&optional arg) "Like `complete' but case-fold-search set to `proof-case-fold-search'." |