From d77f0e32ce017b00573d5fff9929470d8c2a9830 Mon Sep 17 00:00:00 2001
From: chrishaw <unknown>
Date: Thu, 26 Feb 2015 23:19:16 -0800
Subject: Add imap keyword to VS/emacs/vim/latex files

---
 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 a98d1e2f..cbbc1e76 100644
--- a/Util/vim/dafny.vim
+++ b/Util/vim/dafny.vim
@@ -13,7 +13,7 @@ syntax keyword dafnyConditional if then else match case
 syntax keyword dafnyRepeat while
 syntax keyword dafnyStatement assume assert return yield new print break label where calc modify
 syntax keyword dafnyKeyword var ghost returns yields null static this refines include
-syntax keyword dafnyType bool char nat int real set multiset seq string map object array array2 array3
+syntax keyword dafnyType bool char nat int real set multiset seq string map imap object array array2 array3
 syntax keyword dafnyLogic requires ensures modifies reads decreases invariant
 syntax keyword dafnyOperator forall exists old fresh
 syntax keyword dafnyBoolean true false
-- 
cgit v1.2.3