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