From af42d3ff2dbd60fd3d7c45536bccf6925ad67d11 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Fri, 8 Jan 2016 03:35:23 +0000 Subject: [PATCH] fix(emacs/load-lean.el): add seq to lean-required-packages fix #947 [skip ci] --- 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 bdebd777b..095156ce7 100644 --- a/src/emacs/load-lean.el +++ b/src/emacs/load-lean.el @@ -14,7 +14,7 @@ (condition-case nil (create-image (format "%s/lean.pgm" lean-emacs-path)) (error nil))) -(setq lean-required-packages '(company dash dash-functional f fill-column-indicator flycheck let-alist 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 seq)) (setq load-path (append