m

Author: ajewellamz

TestVectors/dafny/DDBEncryption/src/JsonConfig.dfy

@@ -27,7 +27,7 @@ module {:options "-functionSyntax:4"} JsonConfig {
   import KeyVectorsTypes = AwsCryptographyMaterialProvidersTestVectorKeysTypes
   import KeyMaterial
   import UTF8
-  import Aws.Cryptography.Primitives
+  import Primitives = AtomicPrimitives
   import ParseJsonManifests
   import CreateInterceptedDDBClient
   import DynamoDbItemEncryptor
@@ -1377,4 +1377,4 @@ module {:options "-functionSyntax:4"} JsonConfig {
     var num :- StrToNat(hash.N);
     return Success(Record(num, item));
   }
-}
+}

TestVectors/dafny/DDBEncryption/src/TestVectors.dfy

@@ -39,7 +39,7 @@ module {:options "-functionSyntax:4"} DdbEncryptionTestVectors {
   import SI = SearchableEncryptionInfo
   import MaterialProviders
   import MPT = AwsCryptographyMaterialProvidersTypes
-  import Aws.Cryptography.Primitives
+  import Primitives = AtomicPrimitives
   import ParseJsonManifests