From 30a16853c12c74f5acf4b9f93a6b4d11114b26ff Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 7 Sep 2009 21:32:33 +0000
Subject: Nuke spurious warning

---
 generic/proof-mmm.el | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/generic/proof-mmm.el b/generic/proof-mmm.el
index f937975a..96ba5847 100644
--- a/generic/proof-mmm.el
+++ b/generic/proof-mmm.el
@@ -26,6 +26,7 @@
   (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)
@@ -63,10 +64,12 @@ in future if we have just activated it for this buffer."
   (when (proof-mmm-support-available)
     ;; Make sure auto mode follows PG's global setting. (NB: might do
     ;; only if global state changes, but by now (proof-ass mmm-mode) set).
-    (proof-mmm-set-global (not mmm-mode))
+    (with-no-warnings ; bytecomp gives spurious error 
+		      ; "proof-mmm-set-global might not be defined"
+		      ; because the autoload overrides the definition above(!)
+      (proof-mmm-set-global (not mmm-mode)))
     (mmm-mode)))
 
-
 (provide 'proof-mmm)
 
 ;;; proof-mmm.el ends here
-- 
cgit v1.2.3