diff options
Diffstat (limited to 'Util/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 673f967e..6af66279 100644 --- a/Util/vim/syntax/boogie.vim +++ b/Util/vim/syntax/boogie.vim @@ -13,7 +13,7 @@ set cpo&vim " type -syn keyword bplType bool int +syn keyword bplType bool int real " repeat / condition / label syn keyword bplExpr forall exists cast returns lambda div mod syn keyword bplStmt goto return while call else if assert assume havoc then |