michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(emacs/lean-flycheck): should accept error messages with empty lines

Browse source
This commit is contained in:
Leonardo de Moura 2014-10-29 15:54:36 -07:00
parent 1c9992800f
commit b0a7888346
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/emacs/lean-flycheck.el
View file

@ -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 "