diff --git a/src/emacs/lean-flycheck.el b/src/emacs/lean-flycheck.el
index 6717319668..91846083c4 100644
--- a/src/emacs/lean-flycheck.el
+++ b/src/emacs/lean-flycheck.el
@@ -39,11 +39,12 @@
                 (minimal-match
                  (message (one-or-more (zero-or-more not-newline) (? "\r") "\n")))
                 "FLYCHECK_END" (? "\r") line-end)
-       (warning line-start "FLYCHECK_BEGIN WARNING" (? "\r") "\n"
-                (file-name) ":" line ":" (? column ":") " warning: "
-                (minimal-match
-                 (message (one-or-more (zero-or-more not-newline) (? "\r") "\n")))
-                "FLYCHECK_END" (? "\r") line-end))
+       ;; (warning line-start "FLYCHECK_BEGIN WARNING" (? "\r") "\n"
+       ;;          (file-name) ":" line ":" (? column ":") " warning: "
+       ;;          (minimal-match
+       ;;           (message (one-or-more (zero-or-more not-newline) (? "\r") "\n")))
+       ;;          "FLYCHECK_END" (? "\r") line-end)
+       )
       :modes (lean-mode)))
   (add-to-list 'flycheck-checkers 'lean-checker))