From ae8ba23b193e160d0e6363558482a8f955034775 Mon Sep 17 00:00:00 2001 From: Rustan Leino Date: Tue, 10 Jan 2012 13:23:20 -0800 Subject: Dafny: added predicates --- Util/vim/syntax/dafny.vim | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Util/vim') diff --git a/Util/vim/syntax/dafny.vim b/Util/vim/syntax/dafny.vim index faac0cbb..37038f35 100644 --- a/Util/vim/syntax/dafny.vim +++ b/Util/vim/syntax/dafny.vim @@ -5,7 +5,7 @@ syntax clear syntax case match -syntax keyword dafnyFunction function method constructor +syntax keyword dafnyFunction function predicate method constructor syntax keyword dafnyTypeDef class datatype type syntax keyword dafnyConditional if then else match case syntax keyword dafnyRepeat while parallel -- cgit v1.2.3