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 | 2b6114bab22c9d6fc99fc90c34be1f5b22f07da7 (patch) | |
tree | ccd04701337fcecce4bfe92184df85ef6b137690 /Util | |
parent | 5ce14c595b3dca81d4cde68cafeebdfa43ec9d01 (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"
|