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

Merge pull request #9094 from ethereum/conversionWarningsSmtUtil

Browse Source 
Adding fixes for signedness warnings in smtutil
This commit is contained in:
Leonardo
2020-06-03 01:03:44 +02:00
committed by GitHub
parent 96ce4abe0e d2924d83a2
commit b9f2697a3c
3 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
libsmtutil/Z3Interface.cpp
+1 -1
View File
@@ -207,7 +207,7 @@ z3::expr Z3Interface::toZ3Expr(Expression const& _expr)
}
else if (n == "tuple_get")
{
size_t index = std::stoi(_expr.arguments[1].name);
size_t index = stoul(_expr.arguments[1].name);
return z3::func_decl(m_context, Z3_get_tuple_sort_field_decl(m_context, z3Sort(*_expr.arguments[0].sort), index))(arguments[0]);
}
else if (n == "tuple_constructor")