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-mmm.el | |
| parent | c25e7f0a0fc7eb9a0b90cc3aab6b7740cec9d8ee (diff) | |
Clean compile
Diffstat (limited to 'generic/proof-mmm.el')
| -rw-r--r-- | generic/proof-mmm.el | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/generic/proof-mmm.el b/generic/proof-mmm.el index 96ba5847..ce0dd1ef 100644 --- a/generic/proof-mmm.el +++ b/generic/proof-mmm.el @@ -22,14 +22,11 @@ ;; It should define an MMM submode class called <foo>. (eval-when-compile - (require 'proof-utils) ; for proof-ass, proof-eval-when-ready-for-assistant (require 'cl)) (eval-when (compile) - (require 'proof-auxmodes) ; it will have been loaded - (require 'mmm-auto)) ; it's loaded dynamically at runtime - -(require 'proof-site) + (require 'proof-auxmodes) ; will be loaded + (require 'mmm-auto)) ; loaded dynamically by proof-auxmodes ;; The following function is called by the menu item for MMM-Mode. It ;; is an attempt at an intuitive behaviour without confusing the user |