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