m

Lucas McDonald · Lucas McDonald · commit 97461b466c1c · 2025-04-17T12:50:50.000-07:00
diff --git a/TestVectors/runtimes/net/Extern/CreateWrappedItemEncryptor.cs b/TestVectors/runtimes/net/Extern/CreateWrappedItemEncryptor.cs
@@ -9,7 +9,7 @@ namespace CreateWrappedItemEncryptor_Compile
 {
     public partial class __default
     {
-        public static _IResult<IDynamoDbItemEncryptorClient, _IError> CreateWrappedItemEncryptor(
+        public static _IResult<software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types.IDynamoDbItemEncryptorClient, _IError> CreateWrappedItemEncryptor(
             software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types._IDynamoDbItemEncryptorConfig config)
         {
             var nativeConfig = AWS.Cryptography.DbEncryptionSDK.DynamoDb.Transforms.TypeConversion

Original file line number	Diff line number	Diff line change
`@@ -9,7 +9,7 @@ namespace CreateWrappedItemEncryptor_Compile`
`9`	`9`	`{`
`10`	`10`	`public partial class __default`
`11`	`11`	`{`
`12`		`- public static _IResult<IDynamoDbItemEncryptorClient, _IError> CreateWrappedItemEncryptor(`
	`12`	`+ public static _IResult<software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types.IDynamoDbItemEncryptorClient, _IError> CreateWrappedItemEncryptor(`
`13`	`13`	`software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types._IDynamoDbItemEncryptorConfig config)`
`14`	`14`	`{`
`15`	`15`	`var nativeConfig = AWS.Cryptography.DbEncryptionSDK.DynamoDb.Transforms.TypeConversion`