diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-09-28 16:12:27 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-09-28 16:12:27 -0700 |
| commit | d3a315961bf6a7b83225f6311dcf40b0dbba6463 (patch) | |
| tree | b5379d0088109450d51e962a9e2d5e70c7400c41 /Util/vim | |
| parent | a9c6c8fcf205a13c759c6f09e69b01d3b144df94 (diff) | |
Boogie: updated syntax highlighting ("real")
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 |