if (Is_Implementation_Defined (Val)
or else
Is_Implementation_Defined (Scope (Val)))
- and then not (Ekind_In (Val, E_Package, E_Generic_Package)
- and then Is_Library_Level_Entity (Val))
+ and then not (Ekind_In (Val, E_Package, E_Generic_Package)
+ and then Is_Library_Level_Entity (Val))
then
Check_Restriction (No_Implementation_Identifiers, N);
end if;