diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-07-26 19:02:46 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-07-26 19:02:46 -0700 |
| commit | b96ec627f9adcd601ae347d08a9013e63187d592 (patch) | |
| tree | b9079dae2524253698641997acc4f076fc2ef8c6 /Util/vim | |
| parent | ee8d3aaea78450c72111c5736bbb3ff500139df9 (diff) | |
Chalice: added string type and string literals (but no other string operations)
Diffstat (limited to 'Util/vim')
| -rw-r--r-- | Util/vim/syntax/chalice.vim | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Util/vim/syntax/chalice.vim b/Util/vim/syntax/chalice.vim index df8b9bee..86b65d74 100644 --- a/Util/vim/syntax/chalice.vim +++ b/Util/vim/syntax/chalice.vim @@ -11,7 +11,7 @@ syntax keyword chaliceConditional if then else syntax keyword chaliceRepeat foreach while syntax keyword chaliceStatement assert assume call reorder share unshare acquire release lock rd downgrade free fold unfold fork join wait signal send receive syntax keyword chaliceKeyword external var ghost returns where const new between and above below waitlevel lockbottom this result holds refines replaces spec by transforms -syntax keyword chaliceType int bool seq token +syntax keyword chaliceType int bool string seq token syntax keyword chaliceLogic invariant requires ensures lockchange syntax keyword chaliceOperator forall exists old fresh old credit acc unfolding in eval ite rd syntax keyword chaliceBoolean true false |