From f5263152146dcb6c7ae125b7ceb29c6c537f364b Mon Sep 17 00:00:00 2001 From: Richard Copley Date: Tue, 27 Feb 2024 23:41:07 +0000 Subject: [PATCH] fix: typo fix for "Remove dependency on f" --- lean4-util.el | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/lean4-util.el b/lean4-util.el index a469b35..f796745 100644 --- a/lean4-util.el +++ b/lean4-util.el @@ -36,7 +36,9 @@ Try to find an executable named `lean4-executable-name' in variable `exec-path'. On succsess, return path to the directory with this executable." (let ((root (executable-find lean4-executable-name))) (when root - (setq lean4-rootdir (file-name-directory (directory-file-name (directory-file-name root))))) + (setq lean4-rootdir (file-name-directory + (directory-file-name + (file-name-directory root))))) lean4-rootdir)) (defun lean4-get-rootdir ()