diff options
| author | Adam Stankiewicz <sheerun@sher.pl> | 2019-09-06 15:54:31 +0200 |
|---|---|---|
| committer | Adam Stankiewicz <sheerun@sher.pl> | 2019-09-06 15:54:31 +0200 |
| commit | 48e07bc5014fecfdff24f75124a65634c216c9e2 (patch) | |
| tree | 2e16f9a515364e27ac451acbc313b1d7ca518790 /syntax/smt2.vim | |
| parent | c8897c9c18ee79d3780dd352aee34bf6498c625d (diff) | |
| download | vim-polyglot-48e07bc5014fecfdff24f75124a65634c216c9e2.tar.gz vim-polyglot-48e07bc5014fecfdff24f75124a65634c216c9e2.zip | |
Improve guard to support concatenated files
Diffstat (limited to 'syntax/smt2.vim')
| -rw-r--r-- | syntax/smt2.vim | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/syntax/smt2.vim b/syntax/smt2.vim index 09f58c67..92605969 100644 --- a/syntax/smt2.vim +++ b/syntax/smt2.vim @@ -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 |