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 @@ -758,7 +758,7 @@ static Error processMultiLetterExtension(
758
758
}
759
759
760
760
// Check if duplicated extension.
761
- if (!IgnoreUnknown && ( SeenExtMap.find (Name.str ()) != SeenExtMap. end ()))
761
+ if (!IgnoreUnknown && SeenExtMap.contains (Name.str ()))
762
762
return createStringError (errc::invalid_argument, " duplicated %s '%s'" ,
763
763
Desc.str ().c_str (), Name.str ().c_str ());
764
764
@@ -792,7 +792,7 @@ static Error processSingleLetterExtension(
792
792
RawExt = RawExt.substr (ConsumeLength);
793
793
794
794
// Check if duplicated extension.
795
- if (!IgnoreUnknown && ( SeenExtMap.find (Name.str ()) != SeenExtMap. end ()))
795
+ if (!IgnoreUnknown && SeenExtMap.contains (Name.str ()))
796
796
return createStringError (errc::invalid_argument,
797
797
" duplicated standard user-level extension '%s'" ,
798
798
Name.str ().c_str ());
You can’t perform that action at this time.
0 commit comments