diff options
| author |  Jason Koenig <unknown> | 2011-07-11 19:47:05 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2011-07-11 19:47:05 -0700 |
| commit | ae5ee9407ba8acd5b587c01199250132edf9b43b (patch) | |
| tree | 6f50441248ed5c3308fdebd5b91a10e92a94007e /Util/VS2010/Dafny | |
| parent | dfaffe98c5c317c6fc92431a21bb84900ec6f81d (diff) | |
Added new multiset keyword to VS2010 syntax highlighter.
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"
|