diff options
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 |