From 3ffa41df09a9ae8c2f45c7496e73e2e57b591316 Mon Sep 17 00:00:00 2001 From: rhiannon morris Date: Tue, 28 Dec 2021 09:56:16 +0100 Subject: [PATCH] remove } from indk --- indent/idris2.vim | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)