From 172554c51fad4092f2b4e52a921ad0e86fa67ca6 Mon Sep 17 00:00:00 2001
From: Rustan Leino <unknown>
Date: Wed, 6 Mar 2013 15:09:04 -0800
Subject: Renamed "parallel" statement to "forall" statement, and made the
 parentheses around the bound variables optional.

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

(limited to 'Util/vim/dafny.vim')

diff --git a/Util/vim/dafny.vim b/Util/vim/dafny.vim
index b329f0f7..31f27c51 100644
--- a/Util/vim/dafny.vim
+++ b/Util/vim/dafny.vim
@@ -10,7 +10,7 @@ syntax keyword method constructor comethod
 syntax keyword dafnyTypeDef class datatype codatatype type iterator
 syntax keyword abstract module import opened as default
 syntax keyword dafnyConditional if then else match case 
-syntax keyword dafnyRepeat while parallel
+syntax keyword dafnyRepeat while
 syntax keyword dafnyStatement assume assert return yield new print break label where calc
 syntax keyword dafnyKeyword var ghost returns yields null static this refines
 syntax keyword dafnyType bool nat int seq set multiset object array array2 array3 map
-- 
cgit v1.2.3