blob: 1aaf4e9744678be49e34b84a4af1f60a4af75e21 [file] [log] [blame]
with Ada.Exceptions; use Ada.Exceptions;
package Noreturn2 is
procedure Raise_From (X : Exception_Occurrence);
pragma No_Return (Raise_From);
end Noreturn2;