[nongnu] elpa/idris-mode 7b6e3054ba 08/10: Reduce clutter in Idris2 flycheck error message

[ELPA Syncer]

branch: elpa/idris-mode
commit 7b6e3054ba1a6768c438897761900c62c77e72d2
Author: Marek L <nospam.keram@gmail.com>
Commit: Marek L <nospam.keram@gmail.com>

    Reduce clutter in Idris2 flycheck error message
---
 flycheck-idris.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/flycheck-idris.el b/flycheck-idris.el
index f74a80bbaf..f0687d72aa 100644
--- a/flycheck-idris.el
+++ b/flycheck-idris.el
@@ -79,6 +79,7 @@
                             ":"  end-column)
                    (error line-start
                           "Error: "
+                          (zero-or-one "While processing" (one-or-more (not 
".")) ".")
                           (message (one-or-more not-newline)
                                    (zero-or-more "\n" (one-or-more 
not-newline))
                                    "\n\n")