package publish
This commit is contained in:
parent
cf512aaa5b
commit
827d0f5383
1 changed files with 1 additions and 1 deletions
|
@ -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
|
||||
|
||||
|
|
Loading…
Reference in a new issue