------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-02 
01:06 -------
Fixed in 4.0.1 and above:
test.adb:26:16: no selector "Destroy_Stuff" for type "Safe_Object" defined at 
test.ads:14


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
           Keywords|                            |ice-on-invalid-code
         Resolution|                            |FIXED
   Target Milestone|---                         |4.0.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22270

Reply via email to