m

Author: ajewellamz

TestVectors/runtimes/net/Generated/DDBEncryption/TypeConversion.cs

@@ -1531,6 +1531,10 @@ public static System.Exception FromDafny_CommonError(software.amazon.cryptograph
                     return AWS.Cryptography.DbEncryptionSDK.StructuredEncryption.TypeConversion.FromDafny_CommonError(
                       dafnyVal._AwsCryptographyDbEncryptionSdkStructuredEncryption
                     );
+                case software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_AwsCryptographyKeyStore dafnyVal:
+                    return AWS.Cryptography.KeyStore.TypeConversion.FromDafny_CommonError(
+                      dafnyVal._AwsCryptographyKeyStore
+                    );
                 case software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_AwsCryptographyMaterialProviders dafnyVal:
                     return AWS.Cryptography.MaterialProviders.TypeConversion.FromDafny_CommonError(
                       dafnyVal._AwsCryptographyMaterialProviders