diff options
Diffstat (limited to 'gcc/ada/a-ciormu.ads')
| -rw-r--r-- | gcc/ada/a-ciormu.ads | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/a-ciormu.ads b/gcc/ada/a-ciormu.ads index 358c891649d..0bcf19c440b 100644 --- a/gcc/ada/a-ciormu.ads +++ b/gcc/ada/a-ciormu.ads @@ -50,8 +50,10 @@ package Ada.Containers.Indefinite_Ordered_Multisets is function Equivalent_Elements (Left, Right : Element_Type) return Boolean; type Set is tagged private; + pragma Preelaborable_Initialization (Set); type Cursor is private; + pragma Preelaborable_Initialization (Cursor); Empty_Set : constant Set; |