From 9e9250c961b8510c581fa8e46712ab02beb4f6e8 Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Thu, 29 Nov 2018 15:32:38 +0100
Subject: [PATCH] Fix move bug.

---
 libsolidity/formal/SolverInterface.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/libsolidity/formal/SolverInterface.h b/libsolidity/formal/SolverInterface.h
index cc8214de8..7f20876e5 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)