diff options
Diffstat (limited to 'Util/vim/syntax/boogie.vim')
-rw-r--r-- | Util/vim/syntax/boogie.vim | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Util/vim/syntax/boogie.vim b/Util/vim/syntax/boogie.vim index 667a2b8c..673f967e 100644 --- a/Util/vim/syntax/boogie.vim +++ b/Util/vim/syntax/boogie.vim @@ -15,7 +15,7 @@ set cpo&vim " type syn keyword bplType bool int " repeat / condition / label -syn keyword bplExpr forall exists cast returns lambda +syn keyword bplExpr forall exists cast returns lambda div mod syn keyword bplStmt goto return while call else if assert assume havoc then syn keyword bplDecl axiom function procedure type requires ensures modifies unique const var free implementation invariant " user labels |