fix: typo fix for "Remove dependency on f"

leanprover-community · Feb 27, 2024 · f526315 · f526315
1 parent 191d4be
commit f526315
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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 ()