This commit is contained in:
chriseth 2015-11-23 16:30:51 +01:00
parent 806507d5c0
commit 10fe0a2434

View File

@ -650,7 +650,6 @@ string Why3Translator::transformVariableReferences(string const& _annotation)
auto pos = _annotation.begin(); auto pos = _annotation.begin();
while (true) while (true)
{ {
auto hash = find(pos, _annotation.end(), '#'); auto hash = find(pos, _annotation.end(), '#');
ret.append(pos, hash); ret.append(pos, hash);
if (hash == _annotation.end()) if (hash == _annotation.end())
@ -658,7 +657,11 @@ string Why3Translator::transformVariableReferences(string const& _annotation)
auto hashEnd = find_if(hash + 1, _annotation.end(), [](char _c) 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); string varName(hash + 1, hashEnd);
if (isLocalVariable(varName)) if (isLocalVariable(varName))