Pragma Propagate_Exceptions

Next: Pragma Provide_Shift_Operators, Previous: Pragma Profile_Warnings, Up: Implementation Defined Pragmas

Syntax:

     pragma Propagate_Exceptions;

This pragma is now obsolete and, other than generating a warning if warnings on obsolescent features are enabled, is ignored. It is retained for compatibility purposes. It used to be used in connection with optimization of a now-obsolete mechanism for implementation of exceptions.