m

ajewellamz · ajewellamz · commit 6bd7ef51ed2f · 2024-09-19T07:47:39.000-04:00
diff --git a/DynamoDbEncryption/runtimes/rust/src/ddb.rs b/DynamoDbEncryption/runtimes/rust/src/ddb.rs
@@ -25,7 +25,7 @@ impl crate::r#software::amazon::cryptography::services::dynamodb::internaldafny:
     std::rc::Rc::new(crate::r#_Wrappers_Compile::Result::Success { value: dafny_client })
   }
 
-  pub fn DDBClient() -> ::std::rc::Rc<
+  pub fn DynamoDBClient() -> ::std::rc::Rc<
   crate::r#_Wrappers_Compile::Result<
     ::dafny_runtime::Object<dyn crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::IDynamoDBClient>,
     ::std::rc::Rc<crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::Error>

Original file line number	Diff line number	Diff line change
`@@ -25,7 +25,7 @@ impl crate::r#software::amazon::cryptography::services::dynamodb::internaldafny:`
`25`	`25`	`std::rc::Rc::new(crate::r#_Wrappers_Compile::Result::Success { value: dafny_client })`
`26`	`26`	`}`
`27`	`27`
`28`		`- pub fn DDBClient() -> ::std::rc::Rc<`
	`28`	`+ pub fn DynamoDBClient() -> ::std::rc::Rc<`
`29`	`29`	`crate::r#_Wrappers_Compile::Result<`
`30`	`30`	`::dafny_runtime::Object<dyn crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::IDynamoDBClient>,`
`31`	`31`	`::std::rc::Rc<crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::Error>`