[Ada] Missing Preelaborate_Initialization on Ada.Containers.Ordered_Maps.Map

gcc/ada/

	* libgnat/a-coorma.ads (Map): Add missing
	Preelaborate_Initialization.
This commit is contained in:
Arnaud Charlet 2021-01-01 13:26:28 -05:00 committed by Pierre-Marie de Rodat
parent 785d39acbf
commit 2f18a0c2a9

View file

@ -61,6 +61,7 @@ is
Iterator_Element => Element_Type,
Aggregate => (Empty => Empty,
Add_Named => Insert);
pragma Preelaborable_Initialization (Map);
type Cursor is private;
pragma Preelaborable_Initialization (Cursor);