diff options
| author |  Unknown <t-jasonk@Z3507288.redmond.corp.microsoft.com> | 2012-05-25 11:22:33 -0700 |
|---|---|---|
| committer | Unknown <t-jasonk@Z3507288.redmond.corp.microsoft.com> | 2012-05-25 11:22:33 -0700 |
| commit | 9efc37006cb9e64539d053f701ddc461c6cdc048 (patch) | |
| tree | d9b404dbdf1be266eae4e0bb0737f3b1fb0dce59 /Util | |
| parent | a6854b96780ee152ff5462695b602edf98e84e61 (diff) | |
Dafny: added finite maps
Diffstat (limited to 'Util')
| -rw-r--r-- | Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs | 3 |
1 files changed, 2 insertions, 1 deletions
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"
|