blob: 5c19a92160304bfacaec74fe884708e4bb7b660b [file] [log] [blame]
package Loop_Invariant1 is
type Arr is array (Natural range <>) of Integer;
procedure Proc (A : Arr; N : Integer);
end Loop_Invariant1;