package publish
This commit is contained in:
parent
7a47004f48
commit
88becb43f8
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
|
||||
syn keyword atsSorts bool char int prop type view viewtype nat absvtype
|
||||
|
||||
syn keyword atsTypes string float double void
|
||||
|
||||
|
|
Loading…
Reference in a new issue