Remove a {:vcs_split_on_every_assert}

aws · Feb 25, 2024 · 41e1396 · 41e1396
1 parent eaf06aa
commit 41e1396
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...alProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsKeyring.dfy b/...alProviders/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>)