From 20542d16239daefd40037d2ce78ad7e9fbb8b103 Mon Sep 17 00:00:00 2001 From: chriseth Date: Tue, 24 Nov 2015 16:20:12 +0100 Subject: Style. --- libsolidity/formal/Why3Translator.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'libsolidity') diff --git a/libsolidity/formal/Why3Translator.cpp b/libsolidity/formal/Why3Translator.cpp index c2022837..fe3729d4 100644 --- a/libsolidity/formal/Why3Translator.cpp +++ b/libsolidity/formal/Why3Translator.cpp @@ -292,7 +292,8 @@ bool Why3Translator::visit(Block const& _node) if (i != _node.statements().size() - 1) { auto it = m_lines.end() - 1; - while (it != m_lines.begin() && it->contents.empty()) --it; + while (it != m_lines.begin() && it->contents.empty()) + --it; if (!boost::algorithm::ends_with(it->contents, "begin")) it->contents += ";"; } -- cgit v1.2.3