From f4dfec548d6b5737d1ed25dccf0c2b719dee9c7f Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Thu, 21 Aug 2014 10:04:29 -0700
Subject: [PATCH] fix(emacs/lean-mode): add missing flycheck-init

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

diff --git a/src/emacs/lean-mode.el b/src/emacs/lean-mode.el
index 9ffec848c..dd0bc0ebb 100644
--- a/src/emacs/lean-mode.el
+++ b/src/emacs/lean-mode.el
@@ -107,6 +107,10 @@
       (set (make-local-variable 'eldoc-documentation-function)
            'lean-eldoc-documentation-function)
       (eldoc-mode +1)
+      ;; flycheck
+      (when lean-flycheck-use
+        (lean-flycheck-init))
+      ;; company-mode
       (when lean-company-use
         (require 'company)
         (company-mode t)