Patch file to remove {:vcs_split_on_every_assert} for 4.4

aws · Feb 25, 2024 · acf9519 · acf9519
1 parent 3d9f22f
commit acf9519
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/...terialProviders/codegen-patches/AwsCryptographicMaterialProviders/dafny/dafny-4.4.0.patch b/...terialProviders/codegen-patches/AwsCryptographicMaterialProviders/dafny/dafny-4.4.0.patch
@@ -0,0 +1,13 @@
+diff --git a/AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsKeyring.dfy b/AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsKeyring.dfy
+index b318ab09..3684bd23 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<Types.OnDecryptOutput, Types.Error>)