aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity
diff options
context:
space:
mode:
authorchriseth <c@ethdev.com>2015-11-24 23:20:12 +0800
committerchriseth <c@ethdev.com>2015-11-25 21:24:00 +0800
commit20542d16239daefd40037d2ce78ad7e9fbb8b103 (patch)
treec6c93e4cad3a009174502de287062ae63c11d5fb /libsolidity
parent36ba7d11ca888633f7caf29f30accc63349f82f2 (diff)
downloaddexon-solidity-20542d16239daefd40037d2ce78ad7e9fbb8b103.tar.gz
dexon-solidity-20542d16239daefd40037d2ce78ad7e9fbb8b103.tar.zst
dexon-solidity-20542d16239daefd40037d2ce78ad7e9fbb8b103.zip
Style.
Diffstat (limited to 'libsolidity')
-rw-r--r--libsolidity/formal/Why3Translator.cpp3
1 files changed, 2 insertions, 1 deletions
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 += ";";
}