From 10fe0a2434519e9be0b556c3566d8a7b17700750 Mon Sep 17 00:00:00 2001
From: chriseth <c@ethdev.com>
Date: Mon, 23 Nov 2015 16:30:51 +0100
Subject: [PATCH] Style.

---
 libsolidity/formal/Why3Translator.cpp | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/libsolidity/formal/Why3Translator.cpp b/libsolidity/formal/Why3Translator.cpp
index cd0366623..356a336c7 100644
--- a/libsolidity/formal/Why3Translator.cpp
+++ b/libsolidity/formal/Why3Translator.cpp
@@ -650,7 +650,6 @@ string Why3Translator::transformVariableReferences(string const& _annotation)
 	auto pos = _annotation.begin();
 	while (true)
 	{
-
 		auto hash = find(pos, _annotation.end(), '#');
 		ret.append(pos, hash);
 		if (hash == _annotation.end())
@@ -658,7 +657,11 @@ string Why3Translator::transformVariableReferences(string const& _annotation)
 
 		auto hashEnd = find_if(hash + 1, _annotation.end(), [](char _c)
 		{
-			return _c != '_' && _c != '$' && !('a' <= _c && _c <= 'z') && !('A' <= _c && _c <= 'Z') && !('0' <= _c && _c <= '9');
+			return
+				(_c != '_' && _c != '$') &&
+				!('a' <= _c && _c <= 'z') &&
+				!('A' <= _c && _c <= 'Z') &&
+				!('0' <= _c && _c <= '9');
 		});
 		string varName(hash + 1, hashEnd);
 		if (isLocalVariable(varName))