aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity
diff options
context:
space:
mode:
authorchriseth <chris@ethereum.org>2018-11-29 22:32:38 +0800
committerchriseth <chris@ethereum.org>2018-11-29 22:32:38 +0800
commit9e9250c961b8510c581fa8e46712ab02beb4f6e8 (patch)
tree4c646cb66ca088188f76df883571ef6e20c9de6e /libsolidity
parent6b11ef188739302bc9a2a553aee25a172325e0be (diff)
downloaddexon-solidity-9e9250c961b8510c581fa8e46712ab02beb4f6e8.tar.gz
dexon-solidity-9e9250c961b8510c581fa8e46712ab02beb4f6e8.tar.zst
dexon-solidity-9e9250c961b8510c581fa8e46712ab02beb4f6e8.zip
Fix move bug.
Diffstat (limited to 'libsolidity')
-rw-r--r--libsolidity/formal/SolverInterface.h3
1 files changed, 2 insertions, 1 deletions
diff --git a/libsolidity/formal/SolverInterface.h b/libsolidity/formal/SolverInterface.h
index cc8214de..7f20876e 100644
--- a/libsolidity/formal/SolverInterface.h
+++ b/libsolidity/formal/SolverInterface.h
@@ -136,9 +136,10 @@ public:
static Expression ite(Expression _condition, Expression _trueValue, Expression _falseValue)
{
solAssert(*_trueValue.sort == *_falseValue.sort, "");
+ SortPointer sort = _trueValue.sort;
return Expression("ite", std::vector<Expression>{
std::move(_condition), std::move(_trueValue), std::move(_falseValue)
- }, _trueValue.sort);
+ }, std::move(sort));
}
static Expression implies(Expression _a, Expression _b)