gcc/testsuite/gnat.dg/specs/discr1.ads


1
2
3
4
5
6
7
8
9
10

-- { dg-do compile }
-- { dg-options "-gnatct" }

with Discr1_Pkg; use Discr1_Pkg;

package Discr1 is

  procedure Proc (V : Variable_String_Array);

end Discr1;