fix

smithy-lang · Oct 30, 2023 · 8581680 · 8581680
1 parent a76a365
commit 8581680
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/...in/java/software/amazon/polymorph/smithypython/awssdk/customize/AwsSdkShimFileWriter.java b/...in/java/software/amazon/polymorph/smithypython/awssdk/customize/AwsSdkShimFileWriter.java
@@ -154,7 +154,7 @@ private void generateOperationsBlock(
       DafnyNameResolver.importDafnyTypeForShape(writer, outputShape, codegenContext);
 
       // No 'native' type to import; native AWS SDK types are modelled in dictionaries
-      
+
       // Write the Shim operation block.
       // This takes in a Dafny input and returns a Dafny output.
       // This operation will:
@@ -187,7 +187,7 @@ private void generateOperationsBlock(
             // 3) wraps boto3 ClientErrors as Dafny failures
             writer.write(
               """
-              boto_request_dict = dafny_to_aws_sdk.$L
+              boto_request_dict = $L
               try:
                   boto_response_dict = self._impl.$L(**boto_request_dict)
               except ClientError as e: