summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/elim1.ads
blob: 7a7bd3588b481a6ad34be372a6e116a8389361a8 (plain)
1
2
3
4
5
pragma Eliminate (p, d);
package elim1 is
   type t is tagged null record;
   procedure d (a : t);       
end;