m

Author: ajewellamz

TestVectors/runtimes/rust/src/main.rs

@@ -51,6 +51,7 @@ pub(crate) use crate::implementation_from_dafny::HMAC;
 pub(crate) use crate::implementation_from_dafny::UTF8;
 pub(crate) use crate::implementation_from_dafny::UUID;
 pub(crate) use crate::implementation_from_dafny::_TestWrappedESDKMain_Compile;
+pub(crate) use crate::deps::com_amazonaws_kms::client::Client as KmsClient;
 
 pub(crate) mod aes_gcm;
 pub(crate) mod aes_kdf_ctr;