From 88becb43f8bec44fb0132a8661a8f66ee38c8a34 Mon Sep 17 00:00:00 2001 From: Vanessa McHale Date: Sat, 2 Dec 2017 16:39:50 -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 90ae9da..0cc9192 100644 --- a/syntax/ats.vim +++ b/syntax/ats.vim @@ -81,7 +81,7 @@ syn keyword atsExternal extern implement syn keyword atsKeyword symintr overload with syn keyword atsKeyword prval praxi datasort -syn keyword atsSorts bool char int prop type view viewtype nat +syn keyword atsSorts bool char int prop type view viewtype nat absvtype syn keyword atsTypes string float double void