diff options
| author | David Aspinall | 2009-09-10 21:52:37 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-10 21:52:37 +0000 |
| commit | 282b31af3ecdbd06cbd79f97a833caf19bbef956 (patch) | |
| tree | 3fe4427f1576c7f7997169c53c7b3b1ac7afa9aa /generic/proof-maths-menu.el | |
| parent | c25e7f0a0fc7eb9a0b90cc3aab6b7740cec9d8ee (diff) | |
Clean compile
Diffstat (limited to 'generic/proof-maths-menu.el')
| -rw-r--r-- | generic/proof-maths-menu.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-maths-menu.el b/generic/proof-maths-menu.el index de02cc7a..fdc1f7e0 100644 --- a/generic/proof-maths-menu.el +++ b/generic/proof-maths-menu.el @@ -19,11 +19,11 @@ ;; (eval-when-compile - (require 'proof-utils) ; for proof-ass, proof-eval-when-ready-for-assistant (require 'cl)) (eval-when (compile) - (require 'maths-menu)) ; it's loaded dynamically at runtime + (require 'proof-auxmodes) ; loaded by proof.el + (require 'maths-menu)) ; loaded dynamically in proof-auxmodes ;;;###autoload |