2 -- { dg-options "-gnatws" }
4 with Discr15_Pkg; use Discr15_Pkg;
6 procedure Discr15 (History : in Rec_Multi_Moment_History) is
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;