2 files changed, 0 insertions, 40 deletions
diff --git a/vim/bundle/syntastic b/vim/bundle/syntastic
new file mode 160000
+Subproject cee74e0c1af934065fd1b3046e53cda76574f70
diff --git a/vim/bundle/syntastic/syntax_checkers/coq/coqtop.vim b/vim/bundle/syntastic/syntax_checkers/coq/coqtop.vim
deleted file mode 100644
index 6385554..0000000
--- a/vim/bundle/syntastic/syntax_checkers/coq/coqtop.vim
+++ /dev/null
@@ -1,40 +0,0 @@
-"============================================================================
-"File:        coqtop.vim
-"Description: Syntax checking plugin for syntastic.vim
-"Maintainer:  Matvey Aksenov <matvey.aksenov at gmail dot com>
-"License:     This program is free software. It comes without any warranty,
-"             to the extent permitted by applicable law. You can redistribute
-"             it and/or modify it under the terms of the Do What The Fuck You
-"             Want To Public License, Version 2, as published by Sam Hocevar.
-"             See http://sam.zoy.org/wtfpl/COPYING for more details.
-"
-"============================================================================
-
-if exists('g:loaded_syntastic_coq_coqtop_checker')
-    finish
-endif
-let g:loaded_syntastic_coq_coqtop_checker = 1
-
-let s:save_cpo = &cpo
-set cpo&vim
-
-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-%.%#\:,'.
-        \ '%C%m'
-
-    return SyntasticMake({
-        \ 'makeprg': makeprg,
-        \ 'errorformat': errorformat })
-endfunction
-
-call g:SyntasticRegistry.CreateAndRegisterChecker({
-    \ 'filetype': 'coq',
-    \ 'name': 'coqtop'})
-
-let &cpo = s:save_cpo
-unlet s:save_cpo
-
-" vim: set sw=4 sts=4 et fdm=marker: