vim/syntastic
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Coqtop checker: fix potentially harmful errorformat.

Browse Source
This commit is contained in:
LCD 47 2015-10-27 15:39:04 +02:00
parent 11ca31582c
commit 1926693d1b
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
plugin/syntastic.vim
View File

@ -19,7 +19,7 @@ if has('reltime')
lockvar! g:_SYNTASTIC_START
endif
let g:_SYNTASTIC_VERSION = '3.7.0-15'
let g:_SYNTASTIC_VERSION = '3.7.0-16'
lockvar g:_SYNTASTIC_VERSION
" Sanity checks {{{1

2
syntax_checkers/coq/coqtop.vim
View File

@ -22,7 +22,7 @@ function! SyntaxCheckers_coq_coqtop_GetLocList() dict
let makeprg = self.makeprgBuild({ 'args_after': '-noglob -batch -load-vernac-source' })
let errorformat =
\ '%AFile \"%f\"\, line %l\, characters %c\-%.%#\:,'.
\ '%AFile "%f"\, line %l\, characters %c-%.%#\:,'.
\ '%C%m'
return SyntasticMake({