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

diff --git a/src/Encoding.cpp b/src/Encoding.cpp
index 4e47daef8b0dc6d5967ece778a3d7c31423d8a90..988872f05a32652a42e03581acf84d63266cf49e 100644 (file)
--- a/src/Encoding.cpp
+++ b/src/Encoding.cpp
@@ -727,7 +727,7 @@ void Encodings::read(FileName const & encfile, FileName const & symbolsfile)
                symbol = tmp;
 
                // 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))
                                break;
                        docstring textCommand = symbolsLex.getDocString();