diff options
| -rw-r--r-- | libsolidity/formal/Why3Translator.cpp | 3 |
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 += ";"; } |