1-- { dg-do compile } 2 3with Predicate2.Project.Typ.Set; 4 5procedure Predicate2_Main is 6 Type_Def : Predicate2.Project.Typ.Object := Predicate2.Project.Typ.Undefined; 7 Types : Predicate2.Project.Typ.Set.Object; 8begin 9 Type_Def := Types ("toto"); 10end Predicate2_Main; 11