From 282b31af3ecdbd06cbd79f97a833caf19bbef956 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 10 Sep 2009 21:52:37 +0000 Subject: Clean compile --- generic/proof-mmm.el | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'generic/proof-mmm.el') 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 . (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 -- cgit v1.2.3