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

Use empty() instead of size() == 0

Browse Source
This commit is contained in:
Alex Beregszaszi
2018-10-09 04:29:37 +01:00
parent 4ab2e03be3
commit fa0ce6a7e7
7 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files
libsolidity/formal/SMTChecker.cpp
+1 -1
View File
@@ -894,7 +894,7 @@ void SMTChecker::pushPathCondition(smt::Expression const& _e)
smt::Expression SMTChecker::currentPathConditions()
{
if (m_pathConditions.size() == 0)
if (m_pathConditions.empty())
return smt::Expression(true);
return m_pathConditions.back();
}