Nuke spurious warning

1 files 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