Revert "chore: non-breaking PR suggestions [skip ci]"

texastony · texastony · commit 46e342b2beb5 · 2024-11-07T17:35:37.000-08:00
This reverts commit 4b54cbc. Instead, these suggestions were consumed in PR #955.
diff --git a/AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/DefaultKeyStorageInterface.dfy b/AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/DefaultKeyStorageInterface.dfy
@@ -574,7 +574,7 @@ module DefaultKeyStorageInterface {
     }
 
 
-    method {:vcs_split_on_every_assert} GetMutation' ( input: Types.GetMutationInput )
+    method {vcs_split_on_every_assert} GetMutation' ( input: Types.GetMutationInput )
       returns (output: Result<Types.GetMutationOutput, Types.Error>)
       requires ValidState()
       modifies Modifies - {History}

Original file line number	Diff line number	Diff line change
`@@ -574,7 +574,7 @@ module DefaultKeyStorageInterface {`
`574`	`574`	`}`
`575`	`575`
`576`	`576`
`577`		`- method {:vcs_split_on_every_assert} GetMutation' ( input: Types.GetMutationInput )`
	`577`	`+ method {vcs_split_on_every_assert} GetMutation' ( input: Types.GetMutationInput )`
`578`	`578`	`returns (output: Result<Types.GetMutationOutput, Types.Error>)`
`579`	`579`	`requires ValidState()`
`580`	`580`	`modifies Modifies - {History}`