diff options
Diffstat (limited to 'Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs')
| -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"
|