Vulnerability details

Gas optimization suggestion:

Here it is better to replace ">=" with ">" as sending 0 is a waste of gas (similar code is also used in CrossMarginLiquidation): // send back trader money if (holdingsValue >= maintainerCut4Account + account.borrowed) { // send remaining funds back to trader Fund(fund()).withdraw( borrowToken, traderAddress, holdingsValue - account.borrowed - maintainerCut4Account ); }