From d47400c8a1ba72497cc145173aa6ad9f6b1b5a85 Mon Sep 17 00:00:00 2001
From: Rustan Leino <unknown>
Date: Sun, 23 Feb 2014 17:27:26 -0800
Subject: Deprecated "comethod" keyword in favor of "colemma". (Also, "prefix
 method" -> "prefix lemma")

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

(limited to 'Util/vim')

diff --git a/Util/vim/dafny.vim b/Util/vim/dafny.vim
index 06e1252e..f533a621 100644
--- a/Util/vim/dafny.vim
+++ b/Util/vim/dafny.vim
@@ -6,7 +6,7 @@
 syntax clear
 syntax case match
 syntax keyword dafnyFunction function predicate copredicate
-syntax keyword method lemma constructor comethod colemma
+syntax keyword method lemma constructor colemma
 syntax keyword dafnyTypeDef class datatype codatatype type iterator
 syntax keyword abstract module import opened as default
 syntax keyword dafnyConditional if then else match case 
-- 
cgit v1.2.3