diff options
author | Alex Beregszaszi <alex@rtfs.hu> | 2017-08-31 19:38:08 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-31 19:38:08 +0800 |
commit | bf294253bb455a051c6e84bd95856dffab461b23 (patch) | |
tree | e9e5bd20e8eb451adfc028eed4874d8b4ffa65ea /libsolidity/formal | |
parent | 7b6b12ca780c6406d5977d2286a0be3f94cdf114 (diff) | |
parent | 9e63710b8e997015bcde1e32ea661b83f5ec0d25 (diff) | |
download | dexon-solidity-bf294253bb455a051c6e84bd95856dffab461b23.tar.gz dexon-solidity-bf294253bb455a051c6e84bd95856dffab461b23.tar.zst dexon-solidity-bf294253bb455a051c6e84bd95856dffab461b23.zip |
Merge pull request #2860 from ethereum/noparamsfordefaulted
Remove parameter names for defaulted functions.
Diffstat (limited to 'libsolidity/formal')
-rw-r--r-- | libsolidity/formal/SolverInterface.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/libsolidity/formal/SolverInterface.h b/libsolidity/formal/SolverInterface.h index 32d92a2a..70dc1585 100644 --- a/libsolidity/formal/SolverInterface.h +++ b/libsolidity/formal/SolverInterface.h @@ -56,10 +56,10 @@ public: Expression(u256 const& _number): name(_number.str()) {} Expression(bigint const& _number): name(_number.str()) {} - Expression(Expression const& _other) = default; - Expression(Expression&& _other) = default; - Expression& operator=(Expression const& _other) = default; - Expression& operator=(Expression&& _other) = default; + Expression(Expression const&) = default; + Expression(Expression&&) = default; + Expression& operator=(Expression const&) = default; + Expression& operator=(Expression&&) = default; static Expression ite(Expression _condition, Expression _trueValue, Expression _falseValue) { |