* doc/generic.texi (ANNOTATE_EXPR): Document 3rd operand.

[official-gcc.git] / gcc / testsuite / gnat.dg / deref1.ads

package deref1 is
  type T is tagged limited null record;
   procedure Op (Obj : in out T);
end deref1;