From 3eb007166da0f79f44fcdaae94a1a25ee9523194 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Thu, 13 Oct 2016 12:22:50 -0400 Subject: [PATCH] fix(emacs/lean-server): use lean-get-executable --- src/emacs/lean-server.el | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/emacs/lean-server.el b/src/emacs/lean-server.el index cd17e84853..f208bfa313 100644 --- a/src/emacs/lean-server.el +++ b/src/emacs/lean-server.el @@ -37,7 +37,9 @@ (process-connection-type nil)) (start-file-process "lean-server" (format "*lean-server (%s)*" (buffer-name)) - "lean" "--server" (format "*%s*" (buffer-name))))) + (lean-get-executable lean-executable-name) + "--server" + (format "*%s*" (buffer-name))))) (set-process-query-on-exit-flag lean-server-process nil) (setq lean-server-handler-tq (tq-create lean-server-process))))