From 7a47004f482bf80a95a4ff6f568463256aba95e7 Mon Sep 17 00:00:00 2001 From: Vanessa McHale Date: Thu, 30 Nov 2017 18:02:38 -0600 Subject: [PATCH] package publish --- syntax/ats.vim | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/syntax/ats.vim b/syntax/ats.vim index dcb60f3..90ae9da 100644 --- a/syntax/ats.vim +++ b/syntax/ats.vim @@ -50,7 +50,7 @@ syn match atsFloat display contained "\d\+e[-+]\=\d\+\>" syn match atsOctalError display contained "0\o*[89]\d*" syn case match -syn region atsIncludes display oneline start='#include' end='"' contains=atsStringDenot +syn region atsIncludes oneline start='#include' end='"' contains=atsStringDenot syn match atsIdent "[A-Za-z_][0-9A-Za-z_\']*" " embedded C @@ -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 +syn keyword atsSorts bool char int prop type view viewtype nat syn keyword atsTypes string float double void