diff options
| author |  chrishaw <unknown> | 2015-02-26 23:19:16 -0800 |
|---|---|---|
| committer | chrishaw <unknown> | 2015-02-26 23:19:16 -0800 |
| commit | d77f0e32ce017b00573d5fff9929470d8c2a9830 (patch) | |
| tree | c351efe4bf5811007d53f3da16f4a86ca2080064 /Source/DafnyExtension | |
| parent | bcb9f9e189461258d9b50aee0565afe3b8c59e5c (diff) | |
Add imap keyword to VS/emacs/vim/latex files
Diffstat (limited to 'Source/DafnyExtension')
| -rw-r--r-- | Source/DafnyExtension/TokenTagger.cs | 1 |
1 files changed, 1 insertions, 0 deletions
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":
|