From f9ef1c43eb74fc4ecf235e3f3fb24f5d472be36e Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 18 Feb 2003 01:09:15 +0000 Subject: Small bugfix. --- generic/proof-mmm.el | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'generic') 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 -mmm.el (proof-try-require (proof-ass-sym mmm)))) -- cgit v1.2.3