--  { dg-do compile }

with Discr54_Pkg;
pragma Unreferenced (Discr54_Pkg);

procedure Discr54 is
begin
   null;
end Discr54;