diff --git a/lean4-mode/lean4-flycheck.el b/lean4-mode/lean4-flycheck.el
index 38e0e97bcd..40276c4cb3 100644
--- a/lean4-mode/lean4-flycheck.el
+++ b/lean4-mode/lean4-flycheck.el
@@ -21,7 +21,7 @@
 (defun lean4-flycheck-command ()
   (let ((command
          (-concat `(,(lean4-get-executable lean4-executable-name))
-                  lean4-extra-arguments
+                  '((eval lean4-extra-arguments))
                   '("--json" "--stdin"))))
     command))