diff options
| author | David Aspinall | 2009-09-15 08:10:17 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-15 08:10:17 +0000 |
| commit | 082fa78342c644e5caa0987312b4b23377ab0fcd (patch) | |
| tree | d23f800e99b63a6ab565f686c31a2ebdff99e662 /generic/pg-user.el | |
| parent | 179e56b9b54d84bc41df55d0e4c5d06b33b20dd7 (diff) | |
Fix compile warning
Diffstat (limited to 'generic/pg-user.el')
| -rw-r--r-- | generic/pg-user.el | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/generic/pg-user.el b/generic/pg-user.el index 9c1953b9..86dda135 100644 --- a/generic/pg-user.el +++ b/generic/pg-user.el @@ -20,9 +20,10 @@ (require 'proof-script) ; we build on proof-script -(eval-when-compile - (require 'cl) - (require 'completion)) ; loaded dynamically at runtime +(require 'cl) +(eval-when (compile) + (require 'completion) ; loaded dynamically at runtime + (defvar which-func-modes nil)) ; defined by which-func ; defined in proof-script/proof-setup-parsing-mechanism (declare-function proof-segment-up-to "proof-script") @@ -542,7 +543,7 @@ If variable `proof-electric-terminator-enable' is non-nil, the command will be sent to the assistant." (interactive) (if proof-electric-terminator-enable - (proof-insert-electric-terminator) + (proof-assert-electric-terminator) (self-insert-command 1))) |