From 71e01d2f8945e516bbaebdd5fbda4e385f207f02 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Fri, 14 Oct 2016 17:48:33 -0400
Subject: [PATCH] fix(emacs): actually initialize lean-company

---
 src/emacs/lean-mode.el | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/emacs/lean-mode.el b/src/emacs/lean-mode.el
index 9c297de0dc..cf9f3853b1 100644
--- a/src/emacs/lean-mode.el
+++ b/src/emacs/lean-mode.el
@@ -305,6 +305,9 @@ enabled and disabled respectively.")
   (when lean-flycheck-use
     (lean-flycheck-turn-on)
     (setq-local flycheck-disabled-checkers '()))
+  ;; company-mode
+  (when lean-company-use
+    (company-lean-hook))
   ;; Draw a vertical line for rule-column
   (when (and lean-rule-column
              lean-show-rule-column-method)