File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -762,7 +762,7 @@ static Error processMultiLetterExtension(
762
762
}
763
763
764
764
// Check if duplicated extension.
765
- if (!IgnoreUnknown && ( SeenExtMap.find (Name.str ()) != SeenExtMap. end ()))
765
+ if (!IgnoreUnknown && SeenExtMap.contains (Name.str ()))
766
766
return createStringError (errc::invalid_argument, " duplicated %s '%s'" ,
767
767
Desc.str ().c_str (), Name.str ().c_str ());
768
768
@@ -796,7 +796,7 @@ static Error processSingleLetterExtension(
796
796
RawExt = RawExt.substr (ConsumeLength);
797
797
798
798
// Check if duplicated extension.
799
- if (!IgnoreUnknown && ( SeenExtMap.find (Name.str ()) != SeenExtMap. end ()))
799
+ if (!IgnoreUnknown && SeenExtMap.contains (Name.str ()))
800
800
return createStringError (errc::invalid_argument,
801
801
" duplicated standard user-level extension '%s'" ,
802
802
Name.str ().c_str ());
You can’t perform that action at this time.
0 commit comments