diff options
| -rw-r--r-- | generic/proof-mmm.el | 7 |
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 |