summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/invariant_index.ads
blob: 77c46fc39e87b7d2e45a53dafb76a8e28ee740ca (plain)
1
2
3
4
5
6
7
8
package Invariant_Index is

   Name_Buffer : String (1 .. 100);
   Name_Len : Natural;

   procedure Proc (S : String);

end Invariant_Index;