From c9d0aac30961d73e2503a36fdf5209c161678dd6 Mon Sep 17 00:00:00 2001
From: Andy Jewell <ajewell@amazon.com>
Date: Mon, 13 Jan 2025 15:47:34 -0500
Subject: [PATCH] m

---
 .../smithyrust/generator/RustAwsSdkShimGenerator.java         | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithyrust/generator/RustAwsSdkShimGenerator.java b/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithyrust/generator/RustAwsSdkShimGenerator.java
index 66ecc0946..010039ccc 100644
--- a/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithyrust/generator/RustAwsSdkShimGenerator.java
+++ b/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithyrust/generator/RustAwsSdkShimGenerator.java
@@ -900,7 +900,9 @@ protected TokenTree toDafny(
           } else {
             valueToDafny = rustToDafny.formatted(rustValue);
           }
-          yield TokenTree.of("::dafny_runtime::Rc::new(%s)".formatted(valueToDafny));
+          yield TokenTree.of(
+            "::dafny_runtime::Rc::new(%s)".formatted(valueToDafny)
+          );
         } else {
           if (isRustOption) {
             var result = TokenTree.of(