From 10a8896ae40fd918abbb8caa616ac6ee0876ac1d Mon Sep 17 00:00:00 2001
From: qunyanm <unknown>
Date: Fri, 29 May 2015 16:29:15 -0700
Subject: Add an infinite set collection type.

---
 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 af141ad7..8377b3a2 100644
--- a/Source/DafnyExtension/TokenTagger.cs
+++ b/Source/DafnyExtension/TokenTagger.cs
@@ -305,6 +305,7 @@ namespace DafnyLanguage
                 case "ghost":
                 case "if":
                 case "imap":
+                case "iset":
                 case "import":
                 case "in":
                 case "include":
-- 
cgit v1.2.3