generic.texi (ANNOTATE_EXPR): Document 3rd operand.
[gcc.git] / gcc / testsuite / gnat.dg / discr26.ads
1 with Discr26_Pkg;
2
3 package Discr26 is
4
5 type T1 (D : Integer) is record
6 case D is
7 when 1 => I : Integer;
8 when others => null;
9 end case;
10 end record;
11
12 type My_T1 is new T1 (Discr26_Pkg.N);
13
14 procedure Proc;
15
16 end Discr26;