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)