[Ada] Restore missing Aggregate aspect for Ada.Containers.Ordered_Sets.Set
authorSteve Baird <baird@adacore.com>
Fri, 19 Aug 2022 17:26:29 +0000 (10:26 -0700)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 6 Sep 2022 07:14:23 +0000 (09:14 +0200)
commitfc737a6c2001e303a3509df7b1125b8e3d7ea651
tree32fb1d129ea06e250661b9f80b87d3e797691851
parente60709b78248768fb6a36a2cabf713ece3887f86
[Ada] Restore missing Aggregate aspect for Ada.Containers.Ordered_Sets.Set

Ada RM A.18.9 includes a specification of the Aggregate aspect for the type
Ada.Containers.Ordered_Sets. That aspect specification was deliberately
commented out in a-coorse.ads at one time, but that workaround is no longer
needed.

gcc/ada/

* libgnat/a-coorse.ads: Restore Aggregate aspect specification for
type Set.
gcc/ada/libgnat/a-coorse.ads