From df588d6ba05764eaa526a03df964720e27e2f612 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Sun, 14 Sep 2014 20:23:25 -0700 Subject: [PATCH] fix(lean-flycheck): make column optional when detecting error/messages fix #194 --- src/emacs/lean-flycheck.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/emacs/lean-flycheck.el b/src/emacs/lean-flycheck.el index b1ede1f558..26b2ba0808 100644 --- a/src/emacs/lean-flycheck.el +++ b/src/emacs/lean-flycheck.el @@ -24,12 +24,12 @@ :command ,(lean-flycheck-command) :error-patterns ((error line-start "FLYCHECK_BEGIN ERROR\n" - (file-name) ":" line ":" column ": error: " + (file-name) ":" line ":" (? column ":") " error: " (minimal-match (message (one-or-more (one-or-more not-newline) "\n") )) "FLYCHECK_END" line-end) (warning line-start "FLYCHECK_BEGIN WARNING\n" - (file-name) ":" line ":" column ": warning " + (file-name) ":" line ":" (? column ":") " warning " (minimal-match (message (one-or-more (one-or-more not-newline) "\n") )) "FLYCHECK_END" line-end))