The declaration of the Implementation_Defined pragma was moved from the outer scope to the scope of the nested package Implementation.
Tested on x86_64-pc-linux-gnu, committed on trunk 2011-10-16 Matthew Heaney <hea...@adacore.com> * a-cusyqu.ads, a-cbsyqu.ads, a-cuprqu.ads, a-cbprqu.ads (package Implementation): Specify pragma Implementation_Defined.
Index: a-cusyqu.ads =================================================================== --- a-cusyqu.ads (revision 180025) +++ a-cusyqu.ads (working copy) @@ -44,11 +44,11 @@ package Ada.Containers.Unbounded_Synchronized_Queues is pragma Preelaborate; - -- All identifiers in this unit are implementation defined + package Implementation is - pragma Implementation_Defined; + -- All identifiers in this unit are implementation defined - package Implementation is + pragma Implementation_Defined; type List_Type is tagged limited private; Index: a-cbprqu.ads =================================================================== --- a-cbprqu.ads (revision 180025) +++ a-cbprqu.ads (working copy) @@ -54,11 +54,11 @@ package Ada.Containers.Bounded_Priority_Queues is pragma Preelaborate; - -- All identifiers in this unit are implementation defined + package Implementation is - pragma Implementation_Defined; + -- All identifiers in this unit are implementation defined - package Implementation is + pragma Implementation_Defined; type List_Type (Capacity : Count_Type) is tagged limited private; Index: a-cuprqu.ads =================================================================== --- a-cuprqu.ads (revision 180025) +++ a-cuprqu.ads (working copy) @@ -52,11 +52,11 @@ package Ada.Containers.Unbounded_Priority_Queues is pragma Preelaborate; - -- All identifiers in this unit are implementation defined + package Implementation is - pragma Implementation_Defined; + -- All identifiers in this unit are implementation defined - package Implementation is + pragma Implementation_Defined; type List_Type is tagged limited private; Index: a-cbsyqu.ads =================================================================== --- a-cbsyqu.ads (revision 180025) +++ a-cbsyqu.ads (working copy) @@ -44,11 +44,11 @@ package Ada.Containers.Bounded_Synchronized_Queues is pragma Preelaborate; - -- All identifiers in this unit are implementation defined + package Implementation is - pragma Implementation_Defined; + -- All identifiers in this unit are implementation defined - package Implementation is + pragma Implementation_Defined; type List_Type (Capacity : Count_Type) is tagged limited private;