summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/deref1.ads
blob: 3da99ab0ae57c5e03edff06e3dd17dbe5c133e67 (plain)
1
2
3
4
package deref1 is
  type T is tagged limited null record;
   procedure Op (Obj : in out T);
end deref1;