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

2.137 Pragma Propagate_Exceptions


    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.