diff options
Diffstat (limited to 'generic/proof-auxmodes.el')
| -rw-r--r-- | generic/proof-auxmodes.el | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/generic/proof-auxmodes.el b/generic/proof-auxmodes.el index 20ced2a4..a6f06479 100644 --- a/generic/proof-auxmodes.el +++ b/generic/proof-auxmodes.el @@ -23,10 +23,8 @@ (or (featurep 'mmm-auto) (progn ;; put bundled version on load path - (setq load-path - (cons - (concat proof-home-directory "contrib/mmm/") - load-path)) + (proof-add-to-load-path + (concat proof-home-directory "contrib/mmm/")) ;; *should* always succeed unless bundled version broken (proof-try-require 'mmm-auto))) ;; Load prover-specific config in <foo>-mmm.el |