m

smithy-lang · Oct 10, 2024 · 1aeee7a · 1aeee7a
1 parent 56bd34e
commit 1aeee7a
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
@@ -166,7 +166,7 @@ private void generateAwsSdkErrorToDafnyErrorBlock(
  // and this function should only cast to Opaque errors
  writer.write(
  """
- return $L.Error_Opaque(obj=e, alt__text=$S)
+ return $L.Error_Opaque(obj=e, alt__text=$L)
  """,
  DafnyNameResolver.getDafnyPythonTypesModuleNameForShape(
  serviceShape.getId(),
@@ -180,7 +180,7 @@ private void generateAwsSdkErrorToDafnyErrorBlock(
  writer.write(
  """
  else:
-  return $L.Error_Opaque(obj=e, alt__text=$S)
+ return $L.Error_Opaque(obj=e, alt__text=$L)
  """,
  DafnyNameResolver.getDafnyPythonTypesModuleNameForShape(
  serviceShape.getId(),