diff options
Diffstat (limited to 'syntax/cryptol.vim')
| -rw-r--r-- | syntax/cryptol.vim | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/syntax/cryptol.vim b/syntax/cryptol.vim index d7aaf180..9f3c611e 100644 --- a/syntax/cryptol.vim +++ b/syntax/cryptol.vim @@ -1,5 +1,7 @@ -if !exists('g:polyglot_disabled') || index(g:polyglot_disabled, 'cryptol') == -1 - +if exists('g:polyglot_disabled') && index(g:polyglot_disabled, 'cryptol') != -1 + finish +endif + " Vim syntax file " Language: Cryptol " Maintainer: Fergus Henderson @@ -113,5 +115,3 @@ endif let b:current_syntax = "cryptol" " Options for vi: ts=8 sw=2 sts=2 nowrap noexpandtab ft=vim - -endif |