From 74dafe76bb2341459ce4e907ad6777e9de11f2c5 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Thu, 14 Aug 2014 15:04:50 -0700
Subject: [PATCH] feat(emacs): use --permissive lmake option for flycheck

close #42
---
 src/emacs/lean-settings.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/emacs/lean-settings.el b/src/emacs/lean-settings.el
index b60d6e836..dba1480be 100644
--- a/src/emacs/lean-settings.el
+++ b/src/emacs/lean-settings.el
@@ -40,7 +40,7 @@
   :group 'lean
   :type 'string)
 
-(defcustom lean-flycheck-checker-options '("--jobs" "--keep-going" "--flycheck")
+(defcustom lean-flycheck-checker-options '("--jobs" "--keep-going" "--permissive" "--flycheck")
   "lean-flychecker checker option"
   :group 'lean)