Renamed "parallel" statement to "forall" statement, and made the parentheses around the bound variables optional.

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/DafnyExtension/IdentifierTagger.cs b/Source/DafnyExtension/IdentifierTagger.cs
index b8e8805a..6a612cbd 100644
--- a/Source/DafnyExtension/IdentifierTagger.cs
+++ b/Source/DafnyExtension/IdentifierTagger.cs
@@ -282,8 +282,8 @@ namespace DafnyLanguage
       } else  if (stmt is VarDecl) {

         var s = (VarDecl)stmt;

         IdRegion.Add(regions, s.Tok, s, true, module);

-      } else if (stmt is ParallelStmt) {

-        var s = (ParallelStmt)stmt;

+      } else if (stmt is ForallStmt) {

+        var s = (ForallStmt)stmt;

         s.BoundVars.ForEach(bv => IdRegion.Add(regions, bv.tok, bv, true, module));

       } else if (stmt is MatchStmt) {

         var s = (MatchStmt)stmt;