From 014a5ea83efd99a8016ca171a5cb7639d957903a Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Wed, 15 Jul 2015 16:07:35 -0700 Subject: [PATCH] fix(emacs/load-lean.el): add let-alist close #729 --- src/emacs/load-lean.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/emacs/load-lean.el b/src/emacs/load-lean.el index 733fd8e30a..32e27f2c52 100644 --- a/src/emacs/load-lean.el +++ b/src/emacs/load-lean.el @@ -11,7 +11,7 @@ (setq lean-emacs-dependencies-path (format "%s/dependencies" lean-emacs-path)) (setq lean-logo (create-image (format "%s/lean.pgm" 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 let-alist lua-mode mmm-mode s)) (setq load-path (append