diff options
| -rw-r--r-- | generic/proof-mmm.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/generic/proof-mmm.el b/generic/proof-mmm.el index cee76c62..631b3ceb 100644 --- a/generic/proof-mmm.el +++ b/generic/proof-mmm.el @@ -29,7 +29,9 @@ (progn ;; try bundled version (setq load-path - (cons proof-home-directory "mmm/" load-path)) + (cons + (concat proof-home-directory "mmm/") + load-path)) (proof-try-require 'mmm-auto)))) ;; Load prover-specific config in <foo>-mmm.el (proof-try-require (proof-ass-sym mmm)))) |