diff options
| author | chriseth <chris@ethereum.org> | 2018-12-03 18:19:34 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-03 18:19:34 +0800 |
| commit | 5897b14d63389eaa03670b25c211c33411176b81 (patch) | |
| tree | e77026ff36f521b4d2d8e68442f4ebf340b9a11a | |
| parent | 413cb67a55d62335f2d8caa3e563544ab6cf691d (diff) | |
| parent | 6d41ffb4a5e9f08ac63bd0303eacfb5351d1fb84 (diff) | |
| download | dexon-solidity-5897b14d63389eaa03670b25c211c33411176b81.tar.gz dexon-solidity-5897b14d63389eaa03670b25c211c33411176b81.tar.zst dexon-solidity-5897b14d63389eaa03670b25c211c33411176b81.zip | |
Merge pull request #5568 from ethereum/smt_remove_unary_plus
[SMTChecker] Remove unary plus operator
| -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())); |