xref: /dports/lang/gnat_util/gcc-6-20180516/gcc/testsuite/gnat.dg/prot2.ads

package Prot2 is

   procedure Dummy;

end Prot2;