From 01b70a895f3edb5964eae1695c33030088efdb76 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 9 Dec 2007 17:59:13 +0000 Subject: Nuke some compile warnings --- generic/proof-mmm.el | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/generic/proof-mmm.el b/generic/proof-mmm.el index bf28fbb7..932af431 100644 --- a/generic/proof-mmm.el +++ b/generic/proof-mmm.el @@ -21,6 +21,8 @@ ;; Configuration for the prover is expected to reside in -mmm.el ;; It should define an MMM submode class called . +(require 'proof-utils) + ;;;###autoload (defun proof-mmm-support-available () "A test to see whether mmm support is available." @@ -37,6 +39,8 @@ ;; Load prover-specific config in -mmm.el (proof-try-require (proof-ass-sym mmm)))) +(eval-when-compile + (proof-mmm-support-available)) ;; The following function is called by the menu item for ;; MMM-Mode. It is an attempt at an intuitive behaviour -- cgit v1.2.3