code-423n4 / 2021-12-amun-findings

0 stars 0 forks source link

not minting #216

Closed code423n4 closed 2 years ago

code423n4 commented 2 years ago

Handle

certora

Vulnerability details

https://github.com/code-423n4/2021-12-amun/blob/main/contracts/bridge/contracts/amunBasketBridge/PolygonERC20Wrapper.sol#L39 the comment says that this function should mint tokens to the users, but it doesn't.

loki-sama commented 2 years ago

Comment could be changed

0xleastwood commented 2 years ago

Duplicate of #275