fixes

dafny-lang · Aug 6, 2024 · 12edb9e · 12edb9e
1 parent 3397cdc
commit 12edb9e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 5 deletions.
diff --git a/Source/DafnyCore/AST/Grammar/Printer/Printer.Statement.cs b/Source/DafnyCore/AST/Grammar/Printer/Printer.Statement.cs
@@ -455,8 +455,7 @@ public void PrintStatement(Statement stmt, int indent) {
         Contract.Assert(false); throw new cce.UnreachableException();  // unexpected statement
       }
 
-      void PrintBy(ConcreteUpdateStatement s)
-      {
+      void PrintBy(ConcreteUpdateStatement s) {
         BlockStmt proof = s switch {
           UpdateStmt updateStmt => updateStmt.Proof,
           AssignOrReturnStmt returnStmt => returnStmt.Proof,

diff --git a/Source/DafnyCore/Dafny.atg b/Source/DafnyCore/Dafny.atg
@@ -2352,9 +2352,8 @@ UpdateStmt<out Statement/*!*/ s>
    }
    (
      "by" BlockStmt<out proof, out _, out _>
-   | ";"
-   )
-   ";"                             (. endTok = t; .)
+   | ";"                           (. endTok = t; .)
+   )                           
 )
   (. var rangeToken = new RangeToken(startToken, t);
      if (suchThat != null) {