From ef3e335bf3caf7c43a6ba915ea4ed4edb0977ed6 Mon Sep 17 00:00:00 2001
From: rustanleino <unknown>
Date: Tue, 6 Jul 2010 23:08:37 +0000
Subject: Dafny: * changed rule about scoping of out-parameters * added
 "refines", "replaces", and "by" as keywords in emacs, vim, and latex style
 files

---
 Util/vim/syntax/dafny.vim | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Util/vim')

diff --git a/Util/vim/syntax/dafny.vim b/Util/vim/syntax/dafny.vim
index 34379f6b..a6bccaa4 100644
--- a/Util/vim/syntax/dafny.vim
+++ b/Util/vim/syntax/dafny.vim
@@ -8,9 +8,9 @@ syntax case match
 syntax keyword dafnyFunction function method
 syntax keyword dafnyTypeDef class datatype 
 syntax keyword dafnyConditional if then else match case 
-syntax keyword dafnyRepeat for while
-syntax keyword dafnyStatement havoc assume assert return call new 
-syntax keyword dafnyKeyword var ghost returns null static this
+syntax keyword dafnyRepeat foreach while
+syntax keyword dafnyStatement havoc assume assert return call new print break label
+syntax keyword dafnyKeyword var ghost returns null static this refines replaces by
 syntax keyword dafnyType int bool seq set
 syntax keyword dafnyLogic requires ensures modifies reads decreases invariant 
 syntax keyword dafnyOperator forall exists old fresh
-- 
cgit v1.2.3