m

Author: ajewellamz

DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryption/TypeConversion.cs

@@ -1571,6 +1571,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