diff options
| author |  Rustan Leino <unknown> | 2013-03-06 15:09:04 -0800 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2013-03-06 15:09:04 -0800 |
| commit | 172554c51fad4092f2b4e52a921ad0e86fa67ca6 (patch) | |
| tree | cc3c3430f1a379255f9c4990b26df1c21e06bd38 /Util/VS2010/Dafny/DafnyLanguageService | |
| parent | d584ab2b4240b58cd4ef59e53b970a05d8d13f79 (diff) | |
Renamed "parallel" statement to "forall" statement, and made the parentheses around the bound variables optional.
Diffstat (limited to 'Util/VS2010/Dafny/DafnyLanguageService')
| -rw-r--r-- | Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs b/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs index dd910820..fe7c6638 100644 --- a/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs +++ b/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs @@ -22,7 +22,7 @@ namespace Demo "assert", "assume", "new", "this", "object", "refines",
"abstract", "module", "import", "as", "default", "opened",
"if", "then", "else", "while", "invariant",
- "break", "label", "return", "yield", "parallel", "print",
+ "break", "label", "return", "yield", "print",
"returns", "yields", "requires", "ensures", "modifies", "reads", "decreases",
"bool", "nat", "int", "false", "true", "null",
"function", "predicate", "copredicate", "free",
@@ -293,7 +293,6 @@ namespace Demo | "label"
| "return"
| "yield"
- | "parallel"
| "calc"
| "print"
| "returns"
|