diff options
Diffstat (limited to '')
| -rw-r--r-- | syntax/smt2.vim | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/syntax/smt2.vim b/syntax/smt2.vim index 92605969..5fa941d4 100644 --- a/syntax/smt2.vim +++ b/syntax/smt2.vim @@ -1,4 +1,5 @@ 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> @@ -174,4 +175,5 @@ highlight def link smt2Binary Number highlight def link smt2Int Number highlight def link smt2Delimiter Delimiter highlight def link smt2Error Error + endif |