http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54799
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
CC| |ebotcazou at gcc dot
| |gnu.org
Resolution| |INVALID
Summary|Missing ";" gives "GNAT BUG |Missing ";" gives "GNAT BUG
|DETECTED" box with GPL |DETECTED" box
|2012, GPL 2010, AUX 4.7.1, |
|and AUX 4.6.3 |
--- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2012-12-15
19:23:16 UTC ---
Issues with GNAT GPL should be reported to AdaCore.