diff options
| author | chriseth <chris@ethereum.org> | 2017-08-31 18:16:41 +0800 |
|---|---|---|
| committer | chriseth <chris@ethereum.org> | 2017-08-31 18:16:41 +0800 |
| commit | 9e63710b8e997015bcde1e32ea661b83f5ec0d25 (patch) | |
| tree | aca13d7da92f738496b064fdd5eb5d3d1a65af69 /libsolidity/formal | |
| parent | 402d6e713e6d38a00616cdee87d752dd78ee91db (diff) | |
| download | dexon-solidity-9e63710b8e997015bcde1e32ea661b83f5ec0d25.tar.gz dexon-solidity-9e63710b8e997015bcde1e32ea661b83f5ec0d25.tar.zst dexon-solidity-9e63710b8e997015bcde1e32ea661b83f5ec0d25.zip | |
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) { |