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

More checks

Browse Source
This commit is contained in:
Martin Blicha 2023-08-07 15:34:09 +02:00
parent 01ed412714
commit 3f22118bbe
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
libsmtutil/CHCSmtLib2Interface.cpp
View File

@ -539,7 +539,8 @@ namespace
else else
{ {
auto& subexprs = asSubExpressions(expr); auto& subexprs = asSubExpressions(expr);
auto const& first = subexprs[0]; assert(!subexprs.empty());
auto const& first = subexprs.at(0);
if (isAtom(first) && asAtom(first) == "let") if (isAtom(first) && asAtom(first) == "let")
{ {
solAssert(!isAtom(subexprs[1])); solAssert(!isAtom(subexprs[1]));