michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(emacs/lean-settings): pass 'pp.width' to lean via linja

Browse source 
Close #28
This commit is contained in:
Soonho Kong 2014-09-05 16:35:01 -07:00
parent 4c0379586d
commit f958e534bd
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/emacs/lean-settings.el
View file

@ -56,7 +56,7 @@
:group 'lean
:type 'string)
(defcustom lean-flycheck-checker-options '("--flycheck")
(defcustom lean-flycheck-checker-options '("--flycheck" "120")
"lean-flychecker checker option"
:group 'lean)