cerc-io/solidity
10
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

Remove unused variable in Z3

Browse Source
This commit is contained in:
Alex Beregszaszi 2017-10-18 23:18:11 +01:00
parent 7454a766b3
commit 7a4c165518
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();