a-finali.ads (Ada.Finalization): Add missing pragma Remote_Types.
authorThomas Quinot <quinot@adacore.com>
Wed, 6 Jun 2007 10:18:51 +0000 (12:18 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 6 Jun 2007 10:18:51 +0000 (12:18 +0200)
commit379ec90449ee88ae149c19e377910f453007e137
treebfd1a16861529f54c43de701839b6c45c16bfab9
parent6c5290ce34a20a2fdb1e94e1e18e7daac9fc2823
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