From dec53304268388a46805418a5b531c2b48eb0f22 Mon Sep 17 00:00:00 2001
From: Thibaut Cuvelier <tcuvelier@lyx.org>
Date: Sun, 20 Feb 2022 02:03:41 +0100
Subject: [PATCH] Amend 0dc7f34e: avoid using a C++20 function.

---
 src/Encoding.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Encoding.cpp b/src/Encoding.cpp
index 4e47daef8b..988872f05a 100644
--- 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();