1with Ada.Exceptions; use Ada.Exceptions;
2
3package Noreturn1 is
4
5   procedure Error (E : in Exception_Occurrence);
6   pragma No_Return (Error);
7
8end Noreturn1;
9