diff options
| -rw-r--r-- | generic/proof-mmm.el | 4 |
1 files changed, 4 insertions, 0 deletions
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 <foo>-mmm.el ;; It should define an MMM submode class called <foo>. +(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 <foo>-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 |