m

Author: Lucas McDonald

TestVectors/Makefile

@@ -38,6 +38,7 @@ RUST_OTHER_FILES := \
 	runtimes/rust/src/ddb.rs \
 	runtimes/rust/src/concurrent_call.rs \
 	runtimes/rust/src/create_client.rs \
+	runtimes/rust/src/create_wrapped_item_encryptor.rs \
 	runtimes/rust/src/dafny_libraries.rs \
 	runtimes/rust/src/digest.rs \
 	runtimes/rust/src/ecdh.rs \

TestVectors/dafny/WrappedDynamoDbItemEncryptor/src/Index.dfy

@@ -1,4 +1,4 @@
 // Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: Apache-2.0
 // Empty stub expected by Smithy-Dafny
-module WrappedItemEncryptor {}
+module WrappedItemEncryptor {}