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