remove warning when profile-element is used

This commit is contained in:
Grahame Grieve 2023-03-21 19:14:00 +11:00
parent 15909f8302
commit 085ce861d8
1 changed files with 1 additions and 1 deletions

View File

@ -1983,7 +1983,7 @@ public class ProfileUtilities extends TranslatingUtilities {
base.getAlias().addAll(e.getAlias());
base.getMapping().clear();
base.getMapping().addAll(e.getMapping());
} else if (source.getType().size() == 1 && source.getTypeFirstRep().hasProfile()) {
} else if (source.getType().size() == 1 && source.getTypeFirstRep().hasProfile() && !source.getTypeFirstRep().getProfile().get(0).hasExtension(ToolingExtensions.EXT_PROFILE_ELEMENT)) {
String type = source.getTypeFirstRep().getWorkingCode();
if ("Extension".equals(type)) {
System.out.println("Can't find Extension definition for "+source.getTypeFirstRep().getProfile().get(0).asStringValue()+" but trying to go on");