diff --git a/lean4-mode/lean4-flycheck.el b/lean4-mode/lean4-flycheck.el
index 888cb89057..9af32094ee 100644
--- a/lean4-mode/lean4-flycheck.el
+++ b/lean4-mode/lean4-flycheck.el
@@ -23,7 +23,7 @@
   (let ((command
          (-concat `(,(lean4-get-executable lean4-executable-name))
                   lean4-extra-arguments
-                  '("--json" "--stdin"))))
+                  '("--json" "--make" "--stdin"))))
     command))
 
 (cl-defun lean4-flycheck-parse-task (checker buffer cur-file-name