diff options
Diffstat (limited to 'generic/pg-user.el')
| -rw-r--r-- | generic/pg-user.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/pg-user.el b/generic/pg-user.el index 15db8478..3ff06579 100644 --- a/generic/pg-user.el +++ b/generic/pg-user.el @@ -23,9 +23,9 @@ (require 'proof-script) ; we build on proof-script (require 'cl) -(eval-when (compile) - (require 'completion) ; loaded dynamically at runtime - (defvar which-func-modes nil)) ; defined by which-func +(eval-when-compile + (require 'completion)) ; Loaded dynamically at runtime. +(defvar which-func-modes) ; Defined by which-func. (declare-function proof-segment-up-to "proof-script") (declare-function proof-interrupt-process "proof-shell") |