From 41e139661ad27ea9e746d53bbb4614500befc91e Mon Sep 17 00:00:00 2001 From: Robin Salkeld Date: Sun, 25 Feb 2024 07:53:26 -0800 Subject: [PATCH] Remove a {:vcs_split_on_every_assert} --- .../src/Keyrings/AwsKms/AwsKmsKeyring.dfy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsKeyring.dfy b/AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsKeyring.dfy index b318ab094..3684bd239 100644 --- a/AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsKeyring.dfy +++ b/AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsKeyring.dfy @@ -386,7 +386,7 @@ module AwsKmsKeyring { //# OnDecrypt MUST take [decryption materials] //# (../structures.md#decryption-materials) and a list of [encrypted data //# keys](../structures.md#encrypted-data-key) as input. - method {:vcs_split_on_every_assert} OnDecrypt'( + method OnDecrypt'( input: Types.OnDecryptInput ) returns (res: Result)