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

Merge pull request #3105 from ethereum/z3-unused-var

Browse Source 
Remove unused variable in Z3
This commit is contained in:
chriseth 2017-10-19 11:09:09 +02:00 committed by GitHub
commit da298eb5ad
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
libsolidity/formal/Z3Interface.cpp
View File

@ -98,7 +98,7 @@ pair<CheckResult, vector<string>> Z3Interface::check(vector<Expression> const& _
values.push_back(toString(m.eval(toZ3Expr(e)))); values.push_back(toString(m.eval(toZ3Expr(e))));
} }
} }
catch (z3::exception const& _e) catch (z3::exception const&)
{ {
result = CheckResult::ERROR; result = CheckResult::ERROR;
values.clear(); values.clear();