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

---
 Source/DafnyExtension/TokenTagger.cs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Source/DafnyExtension')

diff --git a/Source/DafnyExtension/TokenTagger.cs b/Source/DafnyExtension/TokenTagger.cs
index f3c6fc4e..db4d0858 100644
--- a/Source/DafnyExtension/TokenTagger.cs
+++ b/Source/DafnyExtension/TokenTagger.cs
@@ -304,6 +304,7 @@ namespace DafnyLanguage
                 case "function":
                 case "ghost":
                 case "if":
+                case "imap":
                 case "import":
                 case "in":
                 case "include":
-- 
cgit v1.2.3