diff options
| author | chriseth <chris@ethereum.org> | 2017-10-19 17:09:09 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-19 17:09:09 +0800 |
| commit | da298eb5ad4ccc4a5a9f7efe3eb4295d2b020b3b (patch) | |
| tree | e167773af5161cc1668ff99cadd4e6a56695bfce | |
| parent | 7454a766b37951674095afdd0c8573713e2511a4 (diff) | |
| parent | 7a4c165518ec85577ebf0e231dd9cdbe0519a237 (diff) | |
| download | dexon-solidity-da298eb5ad4ccc4a5a9f7efe3eb4295d2b020b3b.tar.gz dexon-solidity-da298eb5ad4ccc4a5a9f7efe3eb4295d2b020b3b.tar.zst dexon-solidity-da298eb5ad4ccc4a5a9f7efe3eb4295d2b020b3b.zip | |
Merge pull request #3105 from ethereum/z3-unused-var
Remove unused variable in Z3
| -rw-r--r-- | libsolidity/formal/Z3Interface.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libsolidity/formal/Z3Interface.cpp b/libsolidity/formal/Z3Interface.cpp index ab28baa3..6111b2c8 100644 --- a/libsolidity/formal/Z3Interface.cpp +++ b/libsolidity/formal/Z3Interface.cpp @@ -98,7 +98,7 @@ pair<CheckResult, vector<string>> Z3Interface::check(vector<Expression> const& _ values.push_back(toString(m.eval(toZ3Expr(e)))); } } - catch (z3::exception const& _e) + catch (z3::exception const&) { result = CheckResult::ERROR; values.clear(); |