NoBey/openzeppelin-contracts
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Use ERC-XXX syntax (#4730)

Browse Source 
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
Co-authored-by: ernestognw <ernestognw@gmail.com>
This commit is contained in:
Renan Souza
2023-11-23 05:18:04 +00:00
committed by GitHub
parent bf75bccaea
commit 7bd2b2aaf6
96 changed files with 282 additions and 282 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
certora/specs/ERC20FlashMint.spec
View File

@ -4,7 +4,7 @@ import "methods/IERC3156FlashLender.spec";
import "methods/IERC3156FlashBorrower.spec";
methods {
// non standard ERC3156 functions
// non standard ERC-3156 functions
function flashFeeReceiver() external returns (address) envfree;
// function summaries below