a-finali.ads (Ada.Finalization): Add missing pragma Remote_Types.

2007-04-20  Thomas Quinot  <quinot@adacore.com>

	* a-finali.ads (Ada.Finalization): Add missing pragma Remote_Types. The
	presence of this categorization pragma is mandated by the language.
	(Limited_Controlled): Add missing pragma Preelaborable_Initialization
	for this type.

From-SVN: r125376

gcc/ada/a-finali.ads

@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---          Copyright (C) 1992-2006, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2007, Free Software Foundation, Inc.         --
 --                                                                          --
 -- This specification is derived from the Ada Reference Manual for use with --
 -- GNAT. The copyright notice above, and the license provisions that follow --
@@ -35,10 +35,15 @@
 --                                                                          --
 ------------------------------------------------------------------------------
 
+pragma Warnings (Off);
+--  System.Finalization_Root does not have category Remote_Types, but we
+--  allow it anyway.
 with System.Finalization_Root;
+pragma Warnings (On);
 
 package Ada.Finalization is
    pragma Preelaborate;
+   pragma Remote_Types;
 
    type Controlled is abstract tagged private;
    pragma Preelaborable_Initialization (Controlled);
@@ -48,7 +53,7 @@ package Ada.Finalization is
    procedure Finalize   (Object : in out Controlled);
 
    type Limited_Controlled is abstract tagged limited private;
-   pragma Preelaborable_Initialization (Controlled);
+   pragma Preelaborable_Initialization (Limited_Controlled);
 
    procedure Initialize (Object : in out Limited_Controlled);
    procedure Finalize   (Object : in out Limited_Controlled);