blob: c63e43999077d05a1df12ec3c66b72a4ec5b7d5e [file] [log] [blame]
with Ada.Exceptions; use Ada.Exceptions;
package Noreturn1 is
procedure Error (E : in Exception_Occurrence);
pragma No_Return (Error);
end Noreturn1;