aws
diff --git a/‎AwsEncryptionSDK/dafny/AwsEncryptionSdk/Model/AwsCryptographyEncryptionSdkTypes.dfy
Lines changed: 1 addition & 1 deletion b/‎AwsEncryptionSDK/dafny/AwsEncryptionSdk/Model/AwsCryptographyEncryptionSdkTypes.dfy
Lines changed: 1 addition & 1 deletion
diff --git a/‎AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyEncryptionSdkService/shim.go
Lines changed: 44 additions & 0 deletions b/‎AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyEncryptionSdkService/shim.go
Lines changed: 44 additions & 0 deletions
diff --git a/‎AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go
Lines changed: 66 additions & 0 deletions b/‎AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go
Lines changed: 66 additions & 0 deletions
@@ -175,7 +175,7 @@ module {:extern "software.amazon.cryptography.encryptionsdk.internaldafny.types"
     // || (!exit(A(I)) && !access(B(I)))
     | CollectionOfErrors(list: seq<Error>, nameonly message: string)
       // The Opaque error, used for native, extern, wrapped or unknown errors
-    | Opaque(obj: object)
+    | Opaque(obj: object, alt_text : string)
   type OpaqueError = e: Error | e.Opaque? witness *
 }
 abstract module AbstractAwsCryptographyEncryptionSdkService
Original file line number	Diff line number	Diff line change
`@@ -175,7 +175,7 @@ module {:extern "software.amazon.cryptography.encryptionsdk.internaldafny.types"`
`175`	`175`	`// \|\| (!exit(A(I)) && !access(B(I)))`
`176`	`176`	`\| CollectionOfErrors(list: seq<Error>, nameonly message: string)`
`177`	`177`	`// The Opaque error, used for native, extern, wrapped or unknown errors`
`178`		`- \| Opaque(obj: object)`
	`178`	`+ \| Opaque(obj: object, alt_text : string)`
`179`	`179`	`type OpaqueError = e: Error \| e.Opaque? witness *`
`180`	`180`	`}`
`181`	`181`	`abstract module AbstractAwsCryptographyEncryptionSdkService`