diff --git a/src/emacs/lean-flycheck.el b/src/emacs/lean-flycheck.el index 8c403995d0..4b17350bea 100644 --- a/src/emacs/lean-flycheck.el +++ b/src/emacs/lean-flycheck.el @@ -46,7 +46,7 @@ ;; show current task when not in current file (when (and cur-task (not (equal cur-fn (plist-get cur-task :file_name)))) - (setq display-tasks (cons cur-task display-task))) + (setq display-tasks (cons cur-task display-tasks))) (mapcar (lambda (task) (apply #'lean-flycheck-parse-task checker buffer cur-fn task)) display-tasks))))