From 557b42af4f080e8e5031bdedeeb9f3c5e75526c0 Mon Sep 17 00:00:00 2001 From: Vanessa McHale Date: Thu, 21 Dec 2017 21:42:37 -0600 Subject: [PATCH] package publish --- syntax/ats.vim | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/syntax/ats.vim b/syntax/ats.vim index 4f5bfa8..2a7e507 100644 --- a/syntax/ats.vim +++ b/syntax/ats.vim @@ -82,7 +82,7 @@ syn keyword atsExternal extern implement primplmnt syn keyword atsKeyword symintr overload with syn keyword atsKeyword prval praxi datasort -syn keyword atsSorts bool char int absprop prop type view viewtype nat absvtype absviewtype +syn keyword atsSorts bool char int absprop prop type view viewtype nat absvtype absviewtype vtype syn keyword atsTypes string float double void