summaryrefslogtreecommitdiff
path: root/Util/vim
diff options
context:
space:
mode:
authorGravatar kyessenov <unknown>2010-09-02 23:10:14 +0000
committerGravatar kyessenov <unknown>2010-09-02 23:10:14 +0000
commitbf02a929a654145ac2bbbd19a64ff30a0043e72a (patch)
treeff6ffc2cc418a9ccd7ae70ef136e9cf423b8324d /Util/vim
parent992d0461d3ac7286a171fe729d57a29090ca5a10 (diff)
Vim: add keywords to Chalice
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 2b95d7e4..df8b9bee 100644
--- a/Util/vim/syntax/chalice.vim
+++ b/Util/vim/syntax/chalice.vim
@@ -10,7 +10,7 @@ syntax keyword chaliceTypeDef class channel module
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
+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 chaliceLogic invariant requires ensures lockchange
syntax keyword chaliceOperator forall exists old fresh old credit acc unfolding in eval ite rd