From e27bffabeff8b479396565d556cc8c1fda32c4e5 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Sat, 23 Mar 2019 23:06:33 +0100 Subject: [PATCH] fix(lean4-mode/lean4-flycheck): allow changing `lean4-extra-arguments` without restart --- lean4-mode/lean4-flycheck.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean4-mode/lean4-flycheck.el b/lean4-mode/lean4-flycheck.el index 38e0e97bcd..40276c4cb3 100644 --- a/lean4-mode/lean4-flycheck.el +++ b/lean4-mode/lean4-flycheck.el @@ -21,7 +21,7 @@ (defun lean4-flycheck-command () (let ((command (-concat `(,(lean4-get-executable lean4-executable-name)) - lean4-extra-arguments + '((eval lean4-extra-arguments)) '("--json" "--stdin")))) command))