summaryrefslogtreecommitdiff
path: root/Util/vim
diff options
context:
space:
mode:
authorGravatar Rustan Leino <leino@microsoft.com>2011-07-26 19:02:46 -0700
committerGravatar Rustan Leino <leino@microsoft.com>2011-07-26 19:02:46 -0700
commitb96ec627f9adcd601ae347d08a9013e63187d592 (patch)
treeb9079dae2524253698641997acc4f076fc2ef8c6 /Util/vim
parentee8d3aaea78450c72111c5736bbb3ff500139df9 (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.vim2
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