Amend 0dc7f34e: avoid using a C++20 function.

This commit is contained in:
Thibaut Cuvelier 2022-02-20 02:03:41 +01:00
parent fec498d661
commit dec5330426

View File

@ -727,7 +727,7 @@ void Encodings::read(FileName const & encfile, FileName const & symbolsfile)
symbol = tmp; symbol = tmp;
// Special case: more than one entry for one character (to add other LaTeX commands). // Special case: more than one entry for one character (to add other LaTeX commands).
if (unicodesymbols.contains(symbol)) { if (unicodesymbols.find(symbol) != unicodesymbols.end()) {
if (!symbolsLex.next(true)) if (!symbolsLex.next(true))
break; break;
docstring textCommand = symbolsLex.getDocString(); docstring textCommand = symbolsLex.getDocString();