diff options
Diffstat (limited to 'compiler/cryptol.vim')
| -rw-r--r-- | compiler/cryptol.vim | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/compiler/cryptol.vim b/compiler/cryptol.vim index 2fe14ff4..9e4779c6 100644 --- a/compiler/cryptol.vim +++ b/compiler/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 compiler file " Compiler: Cryptol version 1.8.19-academic Compiler " Maintainer: Edward O'Callaghan <victoredwardocallaghan AT gmail DOT com> @@ -22,3 +19,4 @@ CompilerSet errorformat& " use the default 'errorformat' " "%<" means the current file name without extension. CompilerSet makeprg=cryptol\ -o\ %<\ % +endif |