cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

[SMTChecker] Remove unary plus operator

Browse Source
This commit is contained in:
Leonardo Alt 2018-12-03 10:35:38 +01:00
parent a73df9bc18
commit 6d41ffb4a5
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
libsolidity/formal/SMTChecker.cpp
View File

@ -323,9 +323,6 @@ void SMTChecker::endVisit(UnaryOperation const& _op)
);
break;
}
case Token::Add: // +
defineExpr(_op, expr(_op.subExpression()));
break;
case Token::Sub: // -
{
defineExpr(_op, 0 - expr(_op.subExpression()));