diff options
| author | David Aspinall | 2003-02-18 01:09:15 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-02-18 01:09:15 +0000 |
| commit | f9ef1c43eb74fc4ecf235e3f3fb24f5d472be36e (patch) | |
| tree | c03e11630ea7d5b1b4ae143b8beedc3bb67422d6 | |
| parent | 63c2385e812fbe3c32071e2c2a01270f09b38e3b (diff) | |
Small bugfix.
| -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)))) |