m

smithy-lang · Jan 13, 2025 · c9d0aac · c9d0aac
1 parent 795d6a7
commit c9d0aac
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/...src/main/java/software/amazon/polymorph/smithyrust/generator/RustAwsSdkShimGenerator.java b/...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(