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

fix(emacs/load-lean): typo

Browse source
This commit is contained in:
Leonardo de Moura 2015-01-30 13:03:02 -08:00
parent 2c926478dd
commit c8cb9aa3d2
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/load-lean.el
View file

@ -8,7 +8,7 @@
(setq-local lean-emacs-path (getenv "LEAN_EMACS_PATH")) (setq-local lean-emacs-path (getenv "LEAN_EMACS_PATH"))
(error "LEAN_EMACS_PATH environment variable must be set")) (error "LEAN_EMACS_PATH environment variable must be set"))
(setq lean-emacs-dependencies-path (format "%s/dependencies") lean-emacs-path) (setq lean-emacs-dependencies-path (format "%s/dependencies" lean-emacs-path))
(setq lean-logo (create-image (format "%s/lean.png" lean-emacs-path))) (setq lean-logo (create-image (format "%s/lean.png" lean-emacs-path)))
(setq lean-required-packages '(company dash dash-functional f fill-column-indicator flycheck lua-mode mmm-mode s)) (setq lean-required-packages '(company dash dash-functional f fill-column-indicator flycheck lua-mode mmm-mode s))