[autofix.ci] apply automated fixes

This commit is contained in:
autofix-ci[bot] 2024-07-23 00:52:37 +00:00 committed by GitHub
parent 8e61aed9d5
commit 4c41f9cfd1
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -1735,7 +1735,7 @@ static void handleIdxSynFile( string const & fileName,
// synonyms which really start from slash and contain dollar signs, or
// end with dollar and contain slashes.
if ( headword.front() == '/' ) {
if ( headword.find_first_of( '$' ) !=string::npos )
if ( headword.find_first_of( '$' ) != string::npos )
continue; // Skip this entry
}
else if ( headword.end() == '$' ) {