From d3a315961bf6a7b83225f6311dcf40b0dbba6463 Mon Sep 17 00:00:00 2001
From: Unknown <leino@LEINO6.redmond.corp.microsoft.com>
Date: Fri, 28 Sep 2012 16:12:27 -0700
Subject: Boogie: updated syntax highlighting ("real")

---
 Util/vim/syntax/boogie.vim | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Util/vim')

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 
-- 
cgit v1.2.3