@@ -33,7 +33,8 @@ function! SyntaxCheckers_idris_idris_GetLocList()
34 let errorformat =
34 let errorformat =
35 \ '"%f" (line %l\, column %c\):,' .
35 \ '"%f" (line %l\, column %c\):,' .
36− \ '%f\:%l\:%m'
36+ \ '%f\:%l\:%m,' .
37+ \ 'user error (%f\:%l\:%m\)'
38 return SyntasticMake({
39 return SyntasticMake({
39 \ 'makeprg': makeprg,
40 \ 'makeprg': makeprg,