[Bug ada/66242] Front-end error if exception propagation disabled

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|arm-eabi,                   |
                   |x86_64-apple-darwin13       |
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-06-14
                 CC|                            |ebotcazou at gcc dot gnu.org
               Host|x86_64-apple-darwin13       |
     Ever confirmed|0                           |1
           Severity|normal                      |enhancement