From 9efc37006cb9e64539d053f701ddc461c6cdc048 Mon Sep 17 00:00:00 2001
From: Unknown <t-jasonk@Z3507288.redmond.corp.microsoft.com>
Date: Fri, 25 May 2012 11:22:33 -0700
Subject: Dafny: added finite maps

---
 Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Util')

diff --git a/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs b/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs
index 012058f6..635115fb 100644
--- a/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs
+++ b/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs
@@ -26,7 +26,7 @@ namespace Demo
           "bool", "nat", "int", "false", "true", "null",
           "function", "predicate", "free",
           "in", "forall", "exists",
-          "seq", "set", "multiset", "array", "array2", "array3",
+          "seq", "set", "map", "multiset", "array", "array2", "array3",
           "match", "case",
           "fresh", "allocated", "old", "choose"
           );
@@ -309,6 +309,7 @@ namespace Demo
           | "exists"
           | "seq"
           | "set"
+          | "map"
           | "multiset"
           | "array"
           | "array2"
-- 
cgit v1.2.3