From b0a7888346f897c64470fcc0eedf0184187751bb Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 29 Oct 2014 15:54:36 -0700 Subject: [PATCH] fix(emacs/lean-flycheck): should accept error messages with empty lines --- src/emacs/lean-flycheck.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/emacs/lean-flycheck.el b/src/emacs/lean-flycheck.el index 32cd0300b..35307b102 100644 --- a/src/emacs/lean-flycheck.el +++ b/src/emacs/lean-flycheck.el @@ -42,7 +42,7 @@ ((error line-start "FLYCHECK_BEGIN ERROR" (? "\r") "\n" (file-name) ":" line ":" (? column ":") " error: " (minimal-match - (message (one-or-more (one-or-more not-newline) (? "\r") "\n"))) + (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 "