contracts
contracts copied to clipboard
Redeemable counter is not in/de-cremented in setTokenRedeemable()
It can make redeemableTokens() (and hence burn()`) unusable.