[Bug ada/33454] Wrong system.ads for --with-cpu=default32

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2007-09-17 19:05 -------
Confirmed.  Reverting r127960 helps.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-09-17 19:05:46
               date|                            |


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