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-maths-menu.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'generic/proof-maths-menu.el')

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
-- 
cgit v1.2.3