diff --git a/indent/idris2.vim b/indent/idris2.vim index ae496f8..6ed7f2e 100644 --- a/indent/idris2.vim +++ b/indent/idris2.vim @@ -54,7 +54,7 @@ if !exists('g:idris_indent_do') endif setlocal indentexpr=GetIdrisIndent() -setlocal indentkeys=!^F,o,O,} +setlocal indentkeys=!^F,o,O function! GetIdrisIndent() let prevline = getline(v:lnum - 1)