            (exts     '(".ilean" ".d" ".olean"))
            (tempfiles (--map (concat tempfile it) exts)))
       (mapc #'flycheck-safe-delete tempfiles))))
-
 
 (defun lean-flycheck-error-list-buffer-width ()
   "Return the width of flycheck-error list buffer"

              (minimal-match
               (message (one-or-more (zero-or-more not-newline) (? "\r") "\n")))
              "FLYCHECK_END" (? "\r") line-end))
  (add-to-list 'flycheck-checkers 'lean-checker))

(defun lean-flycheck-turn-on ()

      (lean-flycheck-turn-off)
    (lean-flycheck-turn-on)))

(defun lean-flycheck-delete-temporaries ()
  "Delete temporaries files generated by flycheck."
  (when (eq major-mode 'lean-mode)
