xref: /dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gnat.dg/discr54.adb

--  { dg-do compile }

with Discr54_Pkg;
pragma Unreferenced (Discr54_Pkg);

procedure Discr54 is
begin
   null;
end Discr54;