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