roll back

seebees · seebees · commit a41a673416a9 · 2024-11-01T13:08:12.000-07:00
diff --git a/DynamoDbEncryption/dafny/DynamoDbEncryption/src/DynamoDbEncryptionBranchKeyIdSupplier.dfy b/DynamoDbEncryption/dafny/DynamoDbEncryption/src/DynamoDbEncryptionBranchKeyIdSupplier.dfy
@@ -70,7 +70,7 @@ module DynamoDbEncryptionBranchKeyIdSupplier {
     // We expect this interface to be implemented in the native language,
     // so any errors thrown by the native implementation will appear as Opaque errors
     if err.Opaque? then
-      MPL.Opaque(obj:=err.obj, alt_text:="")
+      MPL.Opaque(obj:=err.obj)
     else
       MPL.AwsCryptographicMaterialProvidersException(message:="Unexpected error while getting Branch Key ID.")
   }

Original file line number	Diff line number	Diff line change
`@@ -70,7 +70,7 @@ module DynamoDbEncryptionBranchKeyIdSupplier {`
`70`	`70`	`// We expect this interface to be implemented in the native language,`
`71`	`71`	`// so any errors thrown by the native implementation will appear as Opaque errors`
`72`	`72`	`if err.Opaque? then`
`73`		`- MPL.Opaque(obj:=err.obj, alt_text:="")`
	`73`	`+ MPL.Opaque(obj:=err.obj)`
`74`	`74`	`else`
`75`	`75`	`MPL.AwsCryptographicMaterialProvidersException(message:="Unexpected error while getting Branch Key ID.")`
`76`	`76`	`}`