From 827d0f5383f502d3aeadb11ed96404156d3f8a4a Mon Sep 17 00:00:00 2001 From: Vanessa McHale Date: Sun, 3 Dec 2017 23:42:47 -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 e720d2c..c2ec052 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 absvtype +syn keyword atsSorts bool char int absprop prop type view viewtype nat absvtype syn keyword atsTypes string float double void