diff --git a/src/emacs/lean-settings.el b/src/emacs/lean-settings.el
index 210be3575..78badc556 100644
--- a/src/emacs/lean-settings.el
+++ b/src/emacs/lean-settings.el
@@ -56,7 +56,7 @@
   :group 'lean
   :type 'string)
 
-(defcustom lean-flycheck-checker-options '("--flycheck")
+(defcustom lean-flycheck-checker-options '("--flycheck" "120")
   "lean-flychecker checker option"
   :group 'lean)