diff options
Diffstat (limited to 'phox/phox.el')
| -rw-r--r-- | phox/phox.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/phox/phox.el b/phox/phox.el index 6edae61d..a26f0105 100644 --- a/phox/phox.el +++ b/phox/phox.el @@ -252,7 +252,7 @@ ;; internal completion table if completion is already active '(progn (defpgdefault completion-table - (append (proof-ass completion-table) + (append phox-completion-table (mapcar (lambda (xsym) (nth 2 xsym)) x-symbol-phox-table))) (setq proof-xsym-font-lock-keywords |