diff options
| author | Leonardo Alt <leo@ethereum.org> | 2018-12-03 17:35:38 +0800 |
|---|---|---|
| committer | Leonardo Alt <leo@ethereum.org> | 2018-12-03 17:35:38 +0800 |
| commit | 6d41ffb4a5e9f08ac63bd0303eacfb5351d1fb84 (patch) | |
| tree | 8c4a804ec0a4ec07fa986e1ec7b1bd9b6cb6fefb /libsolidity | |
| parent | a73df9bc18ddb7a4b9aac5a03d810298b82b8a88 (diff) | |
| download | dexon-solidity-6d41ffb4a5e9f08ac63bd0303eacfb5351d1fb84.tar.gz dexon-solidity-6d41ffb4a5e9f08ac63bd0303eacfb5351d1fb84.tar.zst dexon-solidity-6d41ffb4a5e9f08ac63bd0303eacfb5351d1fb84.zip | |
[SMTChecker] Remove unary plus operator
Diffstat (limited to 'libsolidity')
| -rw-r--r-- | libsolidity/formal/SMTChecker.cpp | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/libsolidity/formal/SMTChecker.cpp b/libsolidity/formal/SMTChecker.cpp index 477568a0..ebb09f0a 100644 --- a/libsolidity/formal/SMTChecker.cpp +++ b/libsolidity/formal/SMTChecker.cpp @@ -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())); |