[Bug ada/47818] Pragma Assert is rejected with No_Implementation_Pragmas restriction.

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47818

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |4.8.0

--- Comment #2 from Eric Botcazou  ---
.

[Bug ada/47818] Pragma Assert is rejected with No_Implementation_Pragmas restriction.

[nicolas.boulenguez at free dot fr]

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

nicolas.boulenguez at free dot fr changed:

   What|Removed |Added

 CC||nicolas.boulenguez at free
   ||dot fr

--- Comment #1 from nicolas.boulenguez at free dot fr 2011-09-01 00:41:36 UTC 
---
found 4.4.5 (by eu...@debian.org)
found 4.6.1 (by me)