diff options
| author | chriseth <chris@ethereum.org> | 2017-12-04 19:49:44 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-04 19:49:44 +0800 |
| commit | 240c79e61450d69f45356242924c23adf2a004b4 (patch) | |
| tree | 31ea5a98476602c0d5add625827259ba37dd3d1a /libsolidity/formal/SMTChecker.cpp | |
| parent | 4cad0b224b0f0913100c5957bef98786dc5a31c2 (diff) | |
| parent | 43bb915454e210ed7c201eb58b33c7ffe8dfbdb1 (diff) | |
| download | dexon-solidity-240c79e61450d69f45356242924c23adf2a004b4.tar.gz dexon-solidity-240c79e61450d69f45356242924c23adf2a004b4.tar.zst dexon-solidity-240c79e61450d69f45356242924c23adf2a004b4.zip | |
Merge pull request #3265 from ethereum/rename_args_to_params
Rename arguments to parameters.
Diffstat (limited to 'libsolidity/formal/SMTChecker.cpp')
0 files changed, 0 insertions, 0 deletions