From d686807153dd85471bac9d426c494601397b0ab4 Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Thu, 22 Nov 2018 20:51:40 +0100
Subject: Style

---
 libsolidity/formal/SolverInterface.h | 16 +++++++++-------
 1 file changed, 9 insertions(+), 7 deletions(-)

diff --git a/libsolidity/formal/SolverInterface.h b/libsolidity/formal/SolverInterface.h
index 17e6904c..fd1abd61 100644
--- a/libsolidity/formal/SolverInterface.h
+++ b/libsolidity/formal/SolverInterface.h
@@ -55,8 +55,9 @@ struct Sort
 	Sort(Kind _kind):
 		kind(_kind) {}
 	virtual ~Sort() = default;
-	Kind const kind;
 	bool operator==(Sort const& _other) const { return kind == _other.kind; }
+
+	Kind const kind;
 };
 using SortPointer = std::shared_ptr<Sort>;
 
@@ -64,8 +65,6 @@ struct FunctionSort: public Sort
 {
 	FunctionSort(std::vector<SortPointer> _domain, SortPointer _codomain):
 		Sort(Kind::Function), domain(std::move(_domain)), codomain(std::move(_codomain)) {}
-	std::vector<SortPointer> domain;
-	SortPointer codomain;
 	bool operator==(FunctionSort const& _other) const
 	{
 		if (!std::equal(
@@ -73,11 +72,13 @@ struct FunctionSort: public Sort
 			domain.end(),
 			_other.domain.begin(),
 			[&](SortPointer _a, SortPointer _b) { return *_a == *_b; }
-			)
-		)
+		))
 			return false;
 		return Sort::operator==(_other) && *codomain == *_other.codomain;
 	}
+
+	std::vector<SortPointer> domain;
+	SortPointer codomain;
 };
 
 struct ArraySort: public Sort
@@ -86,12 +87,13 @@ struct ArraySort: public Sort
 	/// _range is the sort of the values
 	ArraySort(SortPointer _domain, SortPointer _range):
 		Sort(Kind::Array), domain(std::move(_domain)), range(std::move(_range)) {}
-	SortPointer domain;
-	SortPointer range;
 	bool operator==(ArraySort const& _other) const
 	{
 		return Sort::operator==(_other) && *domain == *_other.domain && *range == *_other.range;
 	}
+
+	SortPointer domain;
+	SortPointer range;
 };
 
 /// C++ representation of an SMTLIB2 expression.
-- 
cgit