From c4ec89ae6d1c858f71403176de4b4afb50feb7cc Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Tue, 26 May 2015 16:06:56 -0400 Subject: [PATCH] fix(emacs/lean-flycheck.el): use -concat in lean-flycheck-command --- src/emacs/lean-flycheck.el | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) diff --git a/src/emacs/lean-flycheck.el b/src/emacs/lean-flycheck.el index 1634959e1..f1d66ae5c 100644 --- a/src/emacs/lean-flycheck.el +++ b/src/emacs/lean-flycheck.el @@ -17,14 +17,13 @@ (defun lean-flycheck-command () "Concat lean-flychecker-checker-name with options" (let ((command - (cl-concatenate 'list - `(,(lean-get-executable lean-flycheck-checker-name)) - lean-flycheck-checker-options - '("--cache") - '(source-original) - '((eval (lean-option-string t))) - '("--") - '(source-inplace)))) + (-concat `(,(lean-get-executable lean-flycheck-checker-name)) + lean-flycheck-checker-options + '("--cache") + '(source-original) + '((eval (lean-option-string t))) + '("--") + '(source-inplace)))) (when (string= system-type "windows-nt") (setq command (cons "python" command))) command))