Fix typo

aviggiano · aviggiano · commit 3567df5bd925 · 2025-10-28T09:52:13.000-03:00
diff --git a/ERC4626.prop.sol b/ERC4626.prop.sol
@@ -343,7 +343,7 @@ abstract contract ERC4626Prop is Test {
     }
 
     // redeem loss socialization
-    // "One user's redemption MUST NOT affect another user's share value (convertToAssets)"
+    // "One user's redemption MUST NOT decrease another user's share value (convertToAssets)"
     function prop_redeem_loss_socialization(address caller, uint shares, address other) public {
         uint oldOtherConvertToAssets = vault_convertToAssets(IERC4626(_vault_).balanceOf(other));
         vm.prank(caller); vault_redeem(shares, caller, caller);

Original file line number	Diff line number	Diff line change
`@@ -343,7 +343,7 @@ abstract contract ERC4626Prop is Test {`
`343`	`343`	`}`
`344`	`344`
`345`	`345`	`// redeem loss socialization`
`346`		`- // "One user's redemption MUST NOT affect another user's share value (convertToAssets)"`
	`346`	`+ // "One user's redemption MUST NOT decrease another user's share value (convertToAssets)"`
`347`	`347`	`function prop_redeem_loss_socialization(address caller, uint shares, address other) public {`
`348`	`348`	`uint oldOtherConvertToAssets = vault_convertToAssets(IERC4626(_vault_).balanceOf(other));`
`349`	`349`	`vm.prank(caller); vault_redeem(shares, caller, caller);`