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