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

Merge pull request #4570 from ethereum/cleanup-catch-statements

Browse Source 
More consistent catch statements
This commit is contained in:
Alex Beregszaszi 2018-07-25 10:31:57 +01:00 committed by GitHub
commit ff8e930054
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
libsolidity/formal/CVC4Interface.cpp
View File

@ -115,7 +115,7 @@ pair<CheckResult, vector<string>> CVC4Interface::check(vector<Expression> const&
values.push_back(toString(m_solver.getValue(toCVC4Expr(e)))); values.push_back(toString(m_solver.getValue(toCVC4Expr(e))));
} }
} }
catch (CVC4::Exception & e) catch (CVC4::Exception const&)
{ {
result = CheckResult::ERROR; result = CheckResult::ERROR;
values.clear(); values.clear();