2007-04-20 Thomas Quinot <quinot@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 6 Jun 2007 10:18:51 +0000 (10:18 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 6 Jun 2007 10:18:51 +0000 (10:18 +0000)
commitfa7571cb7857050d2dbd9e1657baa6385b5f5475
treebfd1a16861529f54c43de701839b6c45c16bfab9
parent6d7fc52398d4399d66347d14f4050a5816ba5399
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@125376 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/a-finali.ads