diff options
author | Stefan Monnier <monnier@iro.umontreal.ca> | 2012-06-29 16:23:50 +0000 |
---|---|---|
committer | Stefan Monnier <monnier@iro.umontreal.ca> | 2012-06-29 16:23:50 +0000 |
commit | c0bd5544c6c7dcdef9ddd005c952ea5acf68603b (patch) | |
tree | beec5fbedb963cd7b0eef0d1335a26c76b37ad1f /generic/pg-user.el | |
parent | ec00c7fe67dc27c13b6b7bab42d60feb66355240 (diff) |
* generic/pg-user.el (which-func-modes): Fix compiler declaration.
* generic/proof-site.el (assistants): Fix regexp.
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") |