m

Author: Lucas McDonald

TestVectors/dafny/WrappedDynamoDbItemEncryptor/src/Index.dfy

@@ -6,8 +6,6 @@ include "../../../../DynamoDbEncryption/dafny/DynamoDbItemEncryptor/src/Index.df
 include "../Model/AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorTypesWrapped.dfy"
 module {:extern "software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.wrapped" } WrappedItemEncryptor refines WrappedAbstractAwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorService {
 
-  import ComAmazonawsDynamodbTypes
-
   import DynamoDbItemEncryptor
 
   function method WrappedDefaultDynamoDbItemEncryptorConfig(): DynamoDbItemEncryptorConfig