aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/formal
diff options
context:
space:
mode:
authorAlex Beregszaszi <alex@rtfs.hu>2017-08-31 19:38:08 +0800
committerGitHub <noreply@github.com>2017-08-31 19:38:08 +0800
commitbf294253bb455a051c6e84bd95856dffab461b23 (patch)
treee9e5bd20e8eb451adfc028eed4874d8b4ffa65ea /libsolidity/formal
parent7b6b12ca780c6406d5977d2286a0be3f94cdf114 (diff)
parent9e63710b8e997015bcde1e32ea661b83f5ec0d25 (diff)
downloaddexon-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.h8
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)
{