diff options
| author | chriseth <c@ethdev.com> | 2015-11-24 23:20:12 +0800 |
|---|---|---|
| committer | chriseth <c@ethdev.com> | 2015-11-25 21:24:00 +0800 |
| commit | 20542d16239daefd40037d2ce78ad7e9fbb8b103 (patch) | |
| tree | c6c93e4cad3a009174502de287062ae63c11d5fb /libsolidity/formal | |
| parent | 36ba7d11ca888633f7caf29f30accc63349f82f2 (diff) | |
| download | dexon-solidity-20542d16239daefd40037d2ce78ad7e9fbb8b103.tar dexon-solidity-20542d16239daefd40037d2ce78ad7e9fbb8b103.tar.gz dexon-solidity-20542d16239daefd40037d2ce78ad7e9fbb8b103.tar.bz2 dexon-solidity-20542d16239daefd40037d2ce78ad7e9fbb8b103.tar.lz dexon-solidity-20542d16239daefd40037d2ce78ad7e9fbb8b103.tar.xz dexon-solidity-20542d16239daefd40037d2ce78ad7e9fbb8b103.tar.zst dexon-solidity-20542d16239daefd40037d2ce78ad7e9fbb8b103.zip | |
Style.
Diffstat (limited to 'libsolidity/formal')
| -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 += ";"; } |