From 8581680ec758bcc80a8f3e4cd81805515902c71e Mon Sep 17 00:00:00 2001 From: Lucas McDonald Date: Mon, 30 Oct 2023 15:36:56 -0700 Subject: [PATCH] fix --- .../smithypython/awssdk/customize/AwsSdkShimFileWriter.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/awssdk/customize/AwsSdkShimFileWriter.java b/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/awssdk/customize/AwsSdkShimFileWriter.java index 73254c1c0..b2e5db166 100644 --- a/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/awssdk/customize/AwsSdkShimFileWriter.java +++ b/codegen/smithy-dafny-codegen/src/main/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: