diff options
| -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) { |