diff options
Diffstat (limited to 'Util/VS2010/Dafny')
-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 73c3891d..0cd95bbd 100644 --- a/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs +++ b/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs @@ -25,7 +25,7 @@ namespace Demo "bool", "nat", "int", "false", "true", "null",
"function", "free",
"in", "forall", "exists",
- "seq", "set", "array", "array2", "array3",
+ "seq", "set", "multiset", "array", "array2", "array3",
"match", "case",
"fresh", "allocated", "old", "choose"
);
@@ -308,6 +308,7 @@ namespace Demo | "exists"
| "seq"
| "set"
+ | "multiset"
| "array"
| "array2"
| "array3"
|