From f89aa275a155dc81f8b9ebfc1f8dc354b9f52863 Mon Sep 17 00:00:00 2001 From: rhiannon morris Date: Sat, 25 Feb 2023 16:45:17 +0100 Subject: [PATCH] abstract isn't reserved --- syntax/idris2.vim | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/syntax/idris2.vim b/syntax/idris2.vim index 92b3cf3..c11e233 100644 --- a/syntax/idris2.vim +++ b/syntax/idris2.vim @@ -19,7 +19,7 @@ syn keyword idrisModule module namespace syn keyword idrisImport import syn keyword idrisStructure data record interface implementation syn keyword idrisWhere where -syn keyword idrisVisibility public abstract private export +syn keyword idrisVisibility public private export syn keyword idrisBlock parameters mutual using syn keyword idrisTotality total partial covering syn keyword idrisAnnotation auto impossible default constructor