xref: /dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gnat.dg/discr54.adb

--  { dg-do compile }

with Discr54_Pkg;
pragma Unreferenced (Discr54_Pkg);

procedure Discr54 is
begin
   null;
end Discr54;