aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity
diff options
context:
space:
mode:
Diffstat (limited to 'libsolidity')
-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)
{