From 22fe3dfd9e0e221adfed7df05449085c99d7893a Mon Sep 17 00:00:00 2001
From: Mikael Mayer <mimayere@amazon.com>
Date: Mon, 5 Aug 2024 20:39:37 -0500
Subject: [PATCH] Format fixup

---
 Source/DafnyCore/Backends/Dafny/DafnyCodeGenerator.cs  | 2 +-
 Source/DafnyCore/Backends/Rust/Dafny-compiler-rust.dfy | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Source/DafnyCore/Backends/Dafny/DafnyCodeGenerator.cs b/Source/DafnyCore/Backends/Dafny/DafnyCodeGenerator.cs
index eca7a7028e..73926251dd 100644
--- 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
index 4a0977fd44..6253b963ba 100644
--- 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"));