diff options
Diffstat (limited to '')
| -rw-r--r-- | syntax/tptp.vim | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/syntax/tptp.vim b/syntax/tptp.vim index 623ec947..0cd92fb8 100644 --- a/syntax/tptp.vim +++ b/syntax/tptp.vim @@ -1,7 +1,4 @@ -if exists('g:polyglot_disabled') && index(g:polyglot_disabled, 'tptp') != -1 - finish -endif - +if !exists('g:polyglot_disabled') || index(g:polyglot_disabled, 'tptp') == -1 " Vim syntax file " Language: TPTP " Filename extensions: *.p (collides with Pascal/Progress), @@ -150,3 +147,4 @@ end let b:current_syntax = "tptp" " vim: ts=8 sw=8 +endif |