diff options
| author | chriseth <c@ethdev.com> | 2015-11-23 23:30:51 +0800 |
|---|---|---|
| committer | chriseth <c@ethdev.com> | 2015-11-23 23:30:51 +0800 |
| commit | 10fe0a2434519e9be0b556c3566d8a7b17700750 (patch) | |
| tree | e64280dea415495cbce4e0f4ff394836d1391f57 /libsolidity/formal | |
| parent | 806507d5c0a12c64771d2611487cb100f88fe4ff (diff) | |
| download | dexon-solidity-10fe0a2434519e9be0b556c3566d8a7b17700750.tar.gz dexon-solidity-10fe0a2434519e9be0b556c3566d8a7b17700750.tar.zst dexon-solidity-10fe0a2434519e9be0b556c3566d8a7b17700750.zip | |
Style.
Diffstat (limited to 'libsolidity/formal')
| -rw-r--r-- | libsolidity/formal/Why3Translator.cpp | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/libsolidity/formal/Why3Translator.cpp b/libsolidity/formal/Why3Translator.cpp index cd036662..356a336c 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)) |