Summary

Double zero address check as _mint() function already checks for zero address.

Vulnerability Details

The mint() function of DecentralizedStableCoin contract calls the _mint() function of ERC20 contract which already checks for zero address before executing. So, zero address check in the mint() function is not required.

Impact

It causes no significant impact but removing the zero address check can reduce some contract size.

Tools Used

Manual analysis

Recommendations

Remove the zero address check