max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix(lean4-mode/lean4-flycheck): allow changing lean4-extra-arguments without restart

Browse source
This commit is contained in:
Sebastian Ullrich 2019-03-23 23:06:33 +01:00
parent 8225146aa2
commit e27bffabef
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
lean4-mode/lean4-flycheck.el
View file

@ -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))