Summary

the _revertIfHealthFactorIsBroken(msg.sender) in burnDSC function is redundant since it is used to burn user's minted DSC to improve user's health factor. So, we dont need this check because we are burning not minting.

Vulnerability Details

Impact

No potential impact

Tools Used

Manual Review

Recommendations

Remove _revertIfHealthFactorIsBroken(msg.sender) and maybe be return updated health factor after burning DSC. So, the user would know if their health factor is good or broken.