Format fixup

dafny-lang · Aug 6, 2024 · 22fe3df · 22fe3df
1 parent ce30d26
commit 22fe3df
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Source/DafnyCore/Backends/Dafny/DafnyCodeGenerator.cs b/Source/DafnyCore/Backends/Dafny/DafnyCodeGenerator.cs
@@ -691,7 +691,7 @@ protected override ConcreteSyntaxTree EmitMethodReturns(Method m, ConcreteSyntax
     protected override ConcreteSyntaxTree EmitTailCallStructure(MemberDecl member, ConcreteSyntaxTree wr) {
       if (wr is BuilderSyntaxTree<StatementContainer> stmtContainer) {
         // TODO: Emit new variables to store the input parameters,
-        
+
         var recBuilder = stmtContainer.Builder.TailRecursive();
         return new BuilderSyntaxTree<StatementContainer>(recBuilder, this);
       } else {

diff --git a/Source/DafnyCore/Backends/Rust/Dafny-compiler-rust.dfy b/Source/DafnyCore/Backends/Rust/Dafny-compiler-rust.dfy
@@ -3280,7 +3280,7 @@ module {:extern "DCOMP"} DafnyToRustCompiler {
           generated := generated.Then(
             R.Labelled("TAIL_CALL_START",
                        R.Loop(None,
-                       loopBegin.Then(bodyExpr))));
+                              loopBegin.Then(bodyExpr))));
         }
         case JumpTailCallStart() => {
           generated := R.Continue(Some("TAIL_CALL_START"));