m-vim_plugins/vim-polyglot
1
0
Fork 0
mirror of https://github.com/sheerun/vim-polyglot.git synced 2025-11-14 22:43:49 -05:00
Code Issues Actions Packages Projects Releases Wiki Activity

Improve guard to support concatenated files

Browse Source
This commit is contained in:
Adam Stankiewicz
2019-09-06 15:54:31 +02:00
parent c8897c9c18
commit 48e07bc501
565 changed files with 1137 additions and 2284 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
syntax/smt2.vim
View File

@@ -1,7 +1,4 @@
if exists('g:polyglot_disabled') && index(g:polyglot_disabled, 'smt2') != -1
finish
endif
if !exists('g:polyglot_disabled') || index(g:polyglot_disabled, 'smt2') == -1
" Vim syntax file
" " Language: SMT-LIB2 with Z3's extensions
" " Maintainer: Dimitri Bohlender <bohlender@embedded.rwth-aachen.de>
@@ -177,3 +174,4 @@ highlight def link smt2Binary Number
highlight def link smt2Int Number
highlight def link smt2Delimiter Delimiter
highlight def link smt2Error Error
endif