diff options
| author | Adam Stankiewicz <sheerun@sher.pl> | 2019-03-04 09:28:35 +0100 |
|---|---|---|
| committer | Adam Stankiewicz <sheerun@sher.pl> | 2019-03-04 09:28:35 +0100 |
| commit | 1597b7b766ee3999cdfea862af14999c37041d0e (patch) | |
| tree | 4934067126da413f85ac3fd6007d177bce77de93 /compiler/cryptol.vim | |
| parent | ed677c34d55a0e025b7008f29419498a3989cde2 (diff) | |
| download | vim-polyglot-1597b7b766ee3999cdfea862af14999c37041d0e.tar.gz vim-polyglot-1597b7b766ee3999cdfea862af14999c37041d0e.zip | |
Change plugin guard for disabling, fixes #371
Diffstat (limited to '')
| -rw-r--r-- | compiler/cryptol.vim | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/compiler/cryptol.vim b/compiler/cryptol.vim index 1b512365..2fe14ff4 100644 --- a/compiler/cryptol.vim +++ b/compiler/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 compiler file " Compiler: Cryptol version 1.8.19-academic Compiler " Maintainer: Edward O'Callaghan <victoredwardocallaghan AT gmail DOT com> @@ -20,5 +22,3 @@ CompilerSet errorformat& " use the default 'errorformat' " "%<" means the current file name without extension. CompilerSet makeprg=cryptol\ -o\ %<\ % - -endif |