1-- { dg-do compile }
2-- { dg-options "-gnatws" }
3
4with Discr15_Pkg; use Discr15_Pkg;
5
6procedure Discr15 (History : in Rec_Multi_Moment_History) is
7
8  Sub: constant Rec_Multi_Moment_History := Sub_History_Of (History);
9  subtype Vec is String(0..Sub.Last);
10  Mmts : array(1..Sub.Size) of Vec;
11
12begin
13  null;
14end;
15