summaryrefslogtreecommitdiff
path: root/gcc/ada/libgnat/a-cborse.ads
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/ada/libgnat/a-cborse.ads')
-rw-r--r--gcc/ada/libgnat/a-cborse.ads4
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/libgnat/a-cborse.ads b/gcc/ada/libgnat/a-cborse.ads
index 52b8786f3c8..1b711c41370 100644
--- a/gcc/ada/libgnat/a-cborse.ads
+++ b/gcc/ada/libgnat/a-cborse.ads
@@ -56,7 +56,9 @@ is
type Set (Capacity : Count_Type) is tagged private
with Constant_Indexing => Constant_Reference,
Default_Iterator => Iterate,
- Iterator_Element => Element_Type;
+ Iterator_Element => Element_Type,
+ Aggregate => (Empty => Empty_Set,
+ Add_Unnamed => Include);
pragma Preelaborable_Initialization (Set);