diff options
Diffstat (limited to 'compiler/cryptol.vim')
| -rw-r--r-- | compiler/cryptol.vim | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/cryptol.vim b/compiler/cryptol.vim index 7454ad5d..cb6b72f9 100644 --- a/compiler/cryptol.vim +++ b/compiler/cryptol.vim @@ -1,4 +1,4 @@ -if !has_key(g:polyglot_is_disabled, 'cryptol') +if has_key(g:polyglot_is_disabled, 'cryptol') finish endif |