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