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

Fix move bug.

Browse Source
This commit is contained in:
chriseth 2018-11-29 15:32:38 +01:00
parent 6b11ef1887
commit 9e9250c961
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
libsolidity/formal/SolverInterface.h
View File

@ -136,9 +136,10 @@ public:
static Expression ite(Expression _condition, Expression _trueValue, Expression _falseValue) static Expression ite(Expression _condition, Expression _trueValue, Expression _falseValue)
{ {
solAssert(*_trueValue.sort == *_falseValue.sort, ""); solAssert(*_trueValue.sort == *_falseValue.sort, "");
SortPointer sort = _trueValue.sort;
return Expression("ite", std::vector<Expression>{ return Expression("ite", std::vector<Expression>{
std::move(_condition), std::move(_trueValue), std::move(_falseValue) std::move(_condition), std::move(_trueValue), std::move(_falseValue)
}, _trueValue.sort); }, std::move(sort));
} }
static Expression implies(Expression _a, Expression _b) static Expression implies(Expression _a, Expression _b)